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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info i) | l ] Error_Function:threads=4elapsed=11.110cpu=40.584gc=1.704factor=3.657zXZִF! c]ŗXf[& nTg6 HJ w S.ɯ;9J(Jic44AVk")B4 Wa4NY%əֳӃDP bĬ/@ ۆ$6Pևe^eDKӖ@թxmt7sя *ԣFÉy%Z3O3.+0'n57|z1rLe!-ױQZ{u$_/b3R:Ff{‘M}"5,=M4CNhTOktorϽyKU NMD|=mgBs[l,B,f_BT IBctO+pȸ##7  x<0ʥagYZ7zXZִF! ]ŗXiɟ1˦r!q=4!pƹ $7 .FNt$/h޹Rm\N'q M[B,*:~!$/"/k!d,Ue;_5wAmVD;,G sx$<%͡B7Q]u]Ќ)05l[e+T0DkCk3K ~+ iBߗ^مw%.d_mٝ>ßsžgYZ7zXZִF! Q-]ŗXi%Eb⬞uVSGj؛r{*8HLڗ{_]s{zW*Ĺ'O3%kwU?JP(SvG(SqF0,q-TO{Ɇ&ǵ ݸmόP>PQf"LlbSP{j<۩7hBgg!*WɸXnC¶.0Nbgf.S\7KؚThm<daJޣ+^rΫɽ!SokcDbq(_[T=C(T ,B%!Rk/ }8z'NJ1Hi؋^aH *|q p$Эs3APҖ%!m_fe>rbbhɤ/S w@*?pk-I8{,dz^$%n b`W($gz(ʼny#HpHw„>{`ؿ$cܖleNpJ o-9 zQY mħj+ZO8 OcU>N*ȱOGX@a: s2YeS ^ LJ葧EUW_ND0<@OH2}؎@n }_֞ F3x*CÞrcؼQ!6|(a!2DuGa^$_;~][&4K>gFE4[ojhD*/>_Qc2֓;k!x3Xr40Lbw pfRBnu)0Q ǕDq>w90M}9 ƘoH)tN9g46ptsq 1(+K;ɮx5(펗I!#TpƈBO DArb=9ff"2qY2'ew$,=J{lv Äv2*-hn3rL*Ox^ jv5|׿eXmorvܣ(}t xΙ,ֺ-jk. [*ᔔX ZrZ6 @?,7(, Q& ek)S"sZZӰ"ZAT 9( VP›z(a:\b#\;UvS~l4iaഩ ui?hj_w:SERηeפUf^eIPǿPS>Tt%a-> @mIٰxdQ!2-rN~$G }$梭[%6fQS.6. ('; ˷ֶ|c txY{x8h}^I5_ieA gYZ298d2b91e2a16537aaec1ca5f3c9b636a732507987d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 c50b1f72917060442ae58a0553f886677389027c ) Error_Function