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 !4D ]/]UPF:threads=4elapsed=25.190cpu=79.816gc=2.320factor=3.177zXZ ִF ! {] ŗXf[&:sFqX`xPׇ!9Un06N@M6\gg阥|Mz{[O &=.P1?ւ*B5d"y܈d-ΩNU uVX3/CqU Ď'.{S6/\k'~rb,j3Ю ̱ [kߙ7yB"҇G+W7hy5J;^Lڝ- E=>0}
JIg>O[Ob(/+q`p2j7Lfnע}80WA+È,
UPF
|xLVÀ!h",{U:Ƞ^$4s1ČȘhBfvL(۞rۺx4/
&@7$"r>o~*.xjIr7D#ܴZQ^qkP#2:*=
U7wT%LlPpsHn,Rlq+J**,kC&j
8pr[^WŃ;EE ҫ39 ty pAvvH{N
44{6Cb]SqO1fvEq!n.EdN_ʭ'{=Jb`ϥ9EU4|RckB@$lo5XlB 2<g2mj M uiY^%*ٽcwtUsFn(;k2Icy٩*;{a|6b}~j(K tʉ6%AHĨ|6n 4ᷲ| 9 vdg YZ7zXZ ִF ! ] ŗXiɟܤ#k0{/!xv'lFsHZmWunbPSlhg urzU)[OȞ Sҧ$@