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 __ ,4d ]/ ZF-ex:threads=4elapsed=8.356cpu=17.236gc=0.628factor=2.067zXZִF! L ]ŗXf1-W(T#0P=ITß86WK /gṰǕ7]E^[h}c 1+l(nqJ| SA OOeqkvҵb_-?6*YpXx;JnF'pӲ duZYƬe*S[1̢t9ԘbKNJ8j0qt" qn#\zL.oI ߪ @g4 gYZ7zXZִF! ]ŗXiɟ9)u%Sᝎհ{.]\{ws 8vbr;wFmQv{3} :GgXW] ȋ^$[PNQ˟3GQjdzESw`ݮJ; 2- 6mC3D".v^U,T8 Q\1 ւw8PgYZ7zXZִF! 2C*]ŗXi%G\"|ure"0gFԙX1$lbބ GM*7*D:<'긅;e,OXyֵv'{RSkPVǽgXx-:GT+ ^w;ʳtRܶc Ӆ:!e_7e_SkV7k`9 dٚ.}lj-c c.o=EKohjC/<}m9|~vbwM"vHCo'ȝmD㘻5ȐOQ]z];̚yX,Ŵnl-X@Cr#~a[9 gYyuK܂q`n,Xe8Ô{ynH}gɪيR~LypJˌM9oMf.]o;'V'#4qN cX;&> D2xm[d *2;T @9qYf3ӭk. p[2>*UX[=r;&W)?W$ۈh讥e1Z)b'ʛfYL}wƪH H&gyށO&5bVLȑg/;\KRn~}&^OemmL[R sVfv }M+v0]DtG}wy3 ^zFouzj5dSM?>3 2⛞y{y,5@Ms*S`1J̀߱/rjC,ENLʊ>.EnkSXDɢat'5{JF8#5gܭtME^]˺>c;$(&(Im6 +F /0@5C/fo u9?#bNBMA"!ҧ7UX*Uڄ-NZfGvd6$֧׺Sai1`gITweZ}VZns [dxegYZ4b5ee8531b75ac5a70d68a1309fa97301719cfe94e13432f40f7b1835a151e11bc124aeab3c9b529 1ff482a381da2b97c350b0b7af8e7b20f87f71ab  ZF-ex