SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info q/ |4| ]S Monomorphic_Monad:threads=4elapsed=37.522cpu=65.040gc=3.112factor=1.737zXZִF! =]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*`B_LSj1Lv]rеTW\fm7? G3e^j3e-3^5&"= ֠Ppw6kf/4s7 ̓yE+j+a:Gd1!t"R'79*$lo5D?gDb抋$tC9+PNcl1!=-\f|StBө?V'CY]H2i%I)- D5LC#x[d9e! / Monomorphic_Monad  ʲHPbN֓ŀ ڻ!E[D4%'* |rɡp\x㼼IwmF<(JCp,ng-t):#l}cr"4CёT,P[՘m}*l55k&>Fjaz:@V߮ԧbIcC]*Pt4Pe ^qF27Ew;~ Ejc- DӼ{2 XC8yr 24}B!҄.-^ =ۮ Hc) }ƴ.7>)kZp/ ډx~H#J 5:3z-UrtJS* mJgYZ7zXZִF! ]ŗXiɟ1˦r+odo)4ڮ@FfvٍΗeO3Cɳ#-MR3tsqsmEu3&pWyEur3gOǔ5=j.sz$+a 7d^m&lK'7E8p >р&+ Q+ddͩrlgYZ7zXZִF! ]ŗXi%GV 2m,= x'Q!v npT qyQӛavL̩|:!!wGd~sZ~ƀj+Na:;m LoI |Jp# >;3"Ga?jq8OZrs/'2^eOUj-"t8Ѱjj"jƃ )$<s({A4w-k`1(eWf+KA|X7ڻl,KB[fE] ݛMR+O= TqS]14F#f۲hH#m}p׋KueƵ##&PC!\r9={ϔ',m~mTЀ$}wb-4V aZk^{!JS ;<')2r4tUlAy!Ap|1ὅuA JWxN~N\WΑfj ,BhAfdV܁19ŘV)JyeqPQ33E2} \E"D4]_ʔ;Hd52Z{sW2eiB:R$Tk:֌X,K‚6UG]1!^_q5YȈ|*,#<&\d0<]7sQ&A$Jf 0H$I.>n}**_> }4!J`^Bpg/ ?PaH$Ѐ %LRqD:Гel9Dɢ*pVL%j'yd,!:ykBU>vOwpl@buq=]M#L0fFW4۔#S˒u.hl]I<֥ • Zt {z폏dkɉm6ׇHך˚+‘ucEfK!Ph[Qe }.6yߨH=B{fW L(aoc6T`$3nKc$dKJOARv30cE=J*ʧa˻`,%6+LËh ϻsoI:*;I";UWLJ?o>_'A0)Md.29mJ3 GBa|cy6r$>P&ă+d;q#%(oMXZ9s(O8JWTm5]D% q=K Cuo+dc{MuGvHR:10y)ј}8Ot^$тV%Gl^a}c΀A5Pc/-R1y8>e춗U_'*[8c*are [ԍR ⪻Hh~C<' /u_Xbc̖UD9~06Jm})-`o $BT ?EPg˺~`q|Fe_X04lJuЋLv&s(>]d+@^qT^d1z6>&FDyX`jѠhFRc鱗WuTRqܡ:K3EoXu"8~ol˾@Pn^Id  X?bt C뵅܌8X2PuӮaŽo~}1!'iP=!? F{9 ;gZ(PXZ }y3K93ty-c&DBJd=R%?ڔ84\eV!*)"w+Ay8l  '@E9]nԆ輈Pp3ff~)1=\"gn# -VE~8:fn!B ;iƷ3>f=44hDYY*5L @oK|SN3c(K P(Tp}SBκ!4k):Y Mv`˟)ȇBY 1!f!JYm鹃 \;ΘP\ފM hP(whj)LS8x34<7K.*s$V\R35c Q[Wnn;bM# 3@h Ő"- ZejR =>`sOb{!pR~QH'*ۇ{@-?T*nB|@WA"?V4 8+AtEGUPk"LDMi&J[xcfYM$o/x>2aWrt3j?;"ֿx =R {C m導ݹ© ^غSav}ldOإ>n>0ijc*v4FpyE0gYZ6df747d9bac1e06e886c71ef3d16ca6d39e5c19b4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 87c046ae46345ec50ded6c0dfb6f720da4345c11 9aaa5364584c598f0881021e63aadcdf0075033f