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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
c) \D$ ]%
Jordan_Hoelder:threads=4elapsed=11.210cpu=39.292gc=1.444factor=3.517zXZ ִF ! x] ŗXf[&ɉOW
!v_xld$ \:V f 7-A!|=98s4?[;HUa͗/1! i__$ @ iCOH ӚbD:ߔdz
,y
f5[^)ġY9669
*0q2w6/R2͗iE:IqdmF(5{h/o.=Z& =4Hw VNQOn# l5E:̢q}}=c`Ttc9,bF9fH| +IQXkmA19MG;]|6gAXaBPUiUAGTB7}eD+m 2݀p )*Fzy=P m>qv+N,n5Խ.刵v55ޔedIBs=GTTMm1wzkG
cɢ@8rZo i g!Ƹ?ڢsAqAƩx zoI{þA%5ΞE)uS!ϋ˨999Ru,0:iq߀نIjY( |(H Pt ( zILg YZ7zXZ ִF ! J] ŗXiɟNGV/}YHE$+N7\Q" ^_^`0Oz{ CS#L@7a}
AlLʤnuE;ڈF~V(6`(-!kROǜNzsb3?3S]
w^Lܓ! .3rlu^Z UKb2XF "_ؿwCvKy*+4gRJ)TL.SP ݊qLbu=! H H%(apGQ 2 $
`bбg YZ7zXZ ִF ! V ] ŗXi%G̉S |HJCdTٕw$knyH$,j!4vD Jon)
N@:i1_<9ԇƢt~}NNpL7O^RwDkd/Ex\:+liƝY\{S :Fbj|`W - &$Zp|2sx
t]&H[ǹ,*~
XS2]925+kXu+G1Q
&fQhٿ"zң~ `@ܗ,#k2o* ƆC S8j4 S0R }nQ#9ҭ!;`LHxfn~ݧ| y>{ rBɪUSEbS
4n c|{MY& E:&P*VP <`='SF(!#&n oJ2 9N=wk=GJF$Zl,
F58^ 6qM^zO7 UIPnD9"w;ª>s$ -En$gSgc9(lֲhqJ d"}' @P[:Zb({s6:} Xo -P_^ð
E, Q5+.<T*
£T}(#"W(%2U8f 4kԏ/'4,+1,D )T߶YT4WR$1'5Sdg
}L, .Q`AN loSl ՠII.Q |>' 2]`3 4 ?< Tg YZ216f23253a309910635966f3a740f2ff2fd7d1e178a79cd9fdc2a13431ba56bd0a48c2d53a6a6920
db0b9f381bf5e847e834c0dde3ed15877688cc59
dd5a66ed2ec6ee975e279edd847d2bd17a3726ea
4909c2e6b1ef8105dcb0220d99636907a8a8684c
118dc90b8362379584a15b74798f375d94d07ef6
) Jordan_Hoelder