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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 77F $\< ] ZF-UNITY:threads=6elapsed=6.076cpu=32.848gc=1.420factor=5.417zXZִF! ]ŗXf1-WHIk0p䋎dh֨/+a"Oj1_E?YgmS%b Ci6G}K-]$~a|o0U td\Og~cD-¿CȊ±Vf&{ƱCn(}Wy]'1/0 ;O+gtB tQAKnx#[xJ>cQ`Cys 0v8W{aJ㟵Gh"V)уI1(G e@WOCUA|r28 +z`ZEZ%FBf+>ԧZ\eJ&+رKR+N҈)CH~=y= C1gYZ7zXZִF! $h]ŗXi%B )]E)Bb3|?}-,_6 }ġK16,j]4tUQHuFC@)8G"k3Mn8+i[AE וb}AM]Άh sHG-a1C}Vni7ݴ"ŰM bo_xXe)l(OWO]4"VJT+J {i<6 &xRcyR`V`>x&_D-!]q5!s5>Dګaކl\Agm&n l~P#&gY$) R]лNgsKgLpNtGoOXh^2lc BR'@# j Xvaaޡn$j0Fc7&})Q#ر"!e-b#H| g0v)<<`=̄ زǛ c,,Ppw% sq5 :^ǬA5>9|Sef ݅~Kn [8 ݖ%~d(n.iךb~V&/=p*z;+7^pl|؆߁#E'.^X|$Zie7A+ꖄ^A j524un-Vb=Lt*UĠ?VuϾ WZBgIH !KӂH1ݟkNiYm?ȚoWFPC /,+MX?`ɍ)kP/q!IC?!!T" Ojv ~_DzDd 7ߛ ⦜E\9V5v/;SoэVP^XԸkXȭ@A*+w( k_Ne%KO]JPT=D:kۂtx@ŝ(i)xo/^`h6߸u%FUzpz |+N"̴zt˔g8o.F;HMgYZac229c8b3e072f706b2a947b66675539482cd7f324a02e746c61040204a8bb5050040c0249134cdf 8de3e88015f551cb05fd7a157ad282c66cb1be74 cbbfdaa69c48f8d3b652e86539085a907e29da7a   ZF-UNITY