SQLite format 3 @ .;
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
2%
D ]/
VolpanoSmith:threads=4elapsed=8.247cpu=19.404gc=0.768factor=2.357zXZ ִF ! )] ŗXiɟH)0%o8zY7:x$*Y9P/_!a?P}ay^9Wkn{Nĵ|HV=\#*k/S=X![89@bWKÜW|~KQtzsݬ9$(AAidb*}ÐI.#-O!->u184P ~Cn"zI[\!Rл#'&vFSW 8Q
% VolpanoSmith
Ϭ勚GaS'7jbU9yVvuPo6_4^EEw%SEM6xڭ$1?BUSN>IgY.FyqJ9͖e#F_T^H3f~-(v}"ͅ:ޯ-J_0+f$m=JHp,הhbldh1:1까͟\I,wyOM{wQԟ1φK}K+
^ xn4Ǐa4N
]p˘W\2%P Wcɏz);j XA݉WYEM/dL\4A~'Pت(q` PaHH8Q=O*p(J2-\.(BGHFη8X@SOn;)ޢ@m.ʋPAĤbw[*7۲ j,Уpڰ1#i% YdQDkE(LRԠ٧:(q pƢ[z#N(oA3u~v1ͼ]9#M*w[ Uv YǠQpvq_Kp к$?JA<`;2gDX"}82"E\E2\{C aW/T6<v&~Yz9#ޭ^бe@(gU& ,$,z`L?
e|tq,9dk?e;f1 NTӲ(kzSU^E~;Q#jbK^.ŊhDђJzD uUL,#c AI;d1w
߲XZxPOo,9LB!#e7$:Eu/xQk<i>d4̥8 TiSs-Q֦~eZӰ^dZԣr7~*'^RevY9M$8KA0ۭ`"J+8uEhdQj{,:\J&$.m(Ĺt9×+4Ki~9^dDIHTMK
5mإ~_^9Ph?vI7Нm\$e.3۔H#ȶ~Yhfto7*Gܫ~yvb5a
8v
GqB=x`ϵpB];. +ZX
=Y߇V>{A}1 w}.ڟYElF
Iqnk*B`89
_t6'Vp%qtFgX?' Yl#(nq<*˧\CUr(3R+ɮetX؟V(6 PeU2R-ˌ'gC@c F4OM}ȞL`TxI Oy1EZ$%5'YG
+b|Oh};[yKNSU|Լ~BVvWR,A&v\Pv0k 53ٹ
V