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
j j K
T, ]%
Random_Graph_Subgraph_Threshold:threads=4elapsed=6.806cpu=18.724gc=0.320factor=2.757zXZ ִF ! <] ŗXf[&&SeI!R B8 $ }iˣ"eq1Jr> <\ڭWʄ8 nWkܰ$_] ipyQ@V N7QMEE)Mϓ=I RP,.(4ZKc4i?`eWQqԵ_ ѡZ栔̗*WJcp2CX 9>{{R/utWzo~ā{
= x/RN\ U\TG
2h% Pp rPM4j :Jg YZ7zXZ ִF ! ] ŗXiɟa'}@U 0DxxxU
hT`? 'lѷŦ98:!}1 tM^ 8/2~>EZ{o0Jn] II.p NˋR&٤6Z3`=zURb@R 2 X4@ cg YZ7zXZ ִF ! = ] ŗXi%BoנkQB<5ϙ R =:`S㧂HcrڑC,DL˫@A
Fb %)xNzz$H.-I]\)~CF;NSZ]E6 D&4_'pTqhG PxG3-hM"!9=#MI^1)-9t{4̖愺u0\7_ WD
xfròX_P_#2Ӵ;% N G`99?G*ZN2%X
nA+0]yxO)(DkvYt;Ds HR 3]WwC7$e!N$ys],WISK &R| Ua7r5/ zm;5Dɾ1֟LG F>u&@I=ELGthpsQmM78bnkbbNzmiR,?`^Wt0jiQ-ug%!V QjݒJjc$py $̴s&Ixtoyu˪C 05̏VYܰonoJ'Q!D
n8p ݼzG` t-P OћL' r`U?T۫bȹ|0͘UrFuHhn`fEi4qv{LB6:"yemI8˹"N& =잚 }x TWwy|J2٬q0 )5IG(a9rdwƬQ
* wUE?RydݴD#wʕc &fB5uGDnHE>0z 26o
ɋԆ/[BS}xW=j2ĂQuHC=gǿ I{J2 .9> z [g YZf1ffe0703c7435cafc3f41553af04845a06361aaddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
0cf10e45680ae439599dd1e4a9dcfc11cbb36022
c8b147bc048e879a9e91b707afcf0f8a9db48dfe
e27f2271a8c8c707091f71d2a6f88231b52a7ee6
caa54f12fe9e11e2486de1316872b96f5696100e
"K Random_Graph_Subgraph_Threshold