SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 a) \ ] Error_Function:threads=4elapsed=11.738cpu=42.884gc=1.524factor=3.657zXZִF! >]ŗXf1-q恈͐7ӺV7VU ۷֙M54;D@RJރDVM СFo98})ta##6R0m:TlѵSB=НT1۳"ءz>yǩ~:_eqCFq!Ʒu' ad(P NjN} K$Y ޳.Hva1[J`"ɩft3F>/, /~"oP:-IռC-*ퟀ1?+5H#C虏Ju=xVUwO^o+):m%P=!+EJ3&l%Aѽ(9d{<=5}BFJ$0W-z{u NuQm 5d*=iȸM"{LUTmA>_+aF9B6"6Wݕ>0Z/G2!LzZ<,.GDZZS)4g|#ہ`AIV 9O2ץŸj] _1TT l#ÞN8٪!BXglQCYCdp$0T}zFQ1.DFj!Yb]B&i3ΕA0PPÄTYQ8^@!ٸ:GŷrV2\ཱ~JQRs7Ɯ7aBPƉ~\ @jvŪ}0`gYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7 FNw#ŌW\ٖ'FU1j @k1l|ͧTF]& ̠@3ﶏ,=)8wG",z9R7q3VU:AirpiSRI-?T7NX4m⬅Dm@y%~ӤzHM/ljr'vݷ*$gYZ7zXZִF! J(]ŗXi%B4+0:PYplHÂK_JwVD8P1ܲȦ TN:vƪ57[y3T\roW [G*c3(U'* mxi=HDDoF֊xIaC:m;mmO׸Bkݝ ;H&_H8b+!s#-tۘXŬql&վ_B́ɡ>k/q8yuc!0 uЊsߖxoQNc\e-? N5D<]ܯ!>grBހՄ:WoA@6v`}XE}' yqR(V9z o5 vޑ= q AtVb0V"@f5=jN#Wfo@ӏ 6"?u_8BPx {uupgH`Ӈ ζruU#?'JX;N&7Dd .#.7cL\{LSsxSɊNIȤbqG6)K_j3}ty) /!/ͦ}2pHq%ES3'A X(h}py ց3N˕f߃7MrWy0 K.vS{=D9٭:]Ɓemw8Ba8FZbr$@7 g]޲RIV]Qw Z[EtZr>G 倀u|(R Ԙo"2XoPVYC TSWm" JFO}ѕm J|R0La/ïPUNʈ+Fe{[I Mg8/ ϕ%qϱgYZ69d7f4058298bef5f9f701783568e66f943d10139cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 84c1aece216a4f01e4307116ac00e5db8a9127d8 ) Error_Function