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  # $T< ]%]UTP-Toolkit:threads=4elapsed=24.792cpu=90.212gc=2.408factor=3.647zXZִF! *j ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^`O="ѥgO\vo"gJJdhO3C:DO`h>O7 s裞/ɕZ6)|hMYAe5՗5:Ĺ̬4ɸS_\Fȅ}EQ"dk.J[)t['Na$!M7븲9>g%=5aYW8lY`ڀڝwa+vX#EZbҿPXH7SYe_t%P WNL9 q{r/߾?5 G>!&G*YQEÜxj`H UXSpd 88_$t2ĞGi8_A'x Q؟?Y8AкH-kj"Ĩ\'6'KLU6g|ѿγS7 Ϩ.HAWF3V \'O3 'I<~oݷlΉp'HX&ҩK!$xh@2ɜIϸm~؟mKβߕLSB*$/ixsh/.? # UTP-Toolkit  6n(Jw+Dك!>ÿ\C5L6{CjE_݂rm8˚~٫o(b~|xaҌAc(`w+6 ?N1E´zYKID@^%Gt-MA^%c X4AYgDi Ph 0u\?"tuU(BJlG(<ٞZrɉF T"<S"@ a{ӵT MQX˰|jfD_ǹ Do9 S3M^w"2O(j zm o!Қ >ւ'`&*B'4qT;z@ҧ<)UT| 0a2rO֚H 9gYZ7zXZִF! ॔ ]ŗXi%G̉SSvԫҲV!ԝ./N ҋU5~*ݳx8M1e zu[ 7 @ 7%y *sq&D|Ct{b62㇇EӦ2MR5%_ CQ!{!\ saZ¥p陂d*efS *P>ZQnzF #ڰ7tlq`9k3ak &WpfM?M d00nA67KGVWx qBc{ z]y˳2OF%~G>atޚ U7Yo-6\aDQW+JD`f!!iqj. ;voL5eDJMHjCynQlu@?΅ma~ ȗ>t"4Si_EIȢ5 (I*RǣY!|kcT?#>rmV{ 8 ӺUH#eI\N[LE,KxPdùyHV.TEcB9 qQ=|j̊c2dPZDf=:Hs &q͚_c^ 5JW[2'UhdLS}5wbv;﮲V@6  a XDԒLHsl \]+kE/RISNöy/}6GL4BIi'"qu4˔7T>=PM~ *ZhV CC8$M"uF֐Sddkxxa', xy,F"}";p~ay诃S#rSK&pxqn >opgg?&umGs_~Ikgj{ O7WH4~r&3Z?զY.t~0go`gO Az䓞cv5\EE61q"N 73-FEL2'܅Oa:^/5[ݬvC',`.Eԛ\̵D|U5 ok|GZzr?8?ag5qL+;()fA)5 (`]҂ήSc xg$}lւssȽLq2rH jYkÓgGK!xDPnTj͑c1e u'0'ӥ3Pnez*R(6ޟtK 4R/UM+Ys;/ ({3)uNif:~v.'.FTlrFԷG)Cz1&{5䠻'KT3>x BҪ 9- -h\`M +%PXKfypѷ͉fG2 [u/ ʂnm. qhO/VJ#!;*~tׄh@SrPtwBr#IU6š|峽Bnd񵑩HH'L(0? z)E54TV{ -fPrc-; oY@(ne ZחVl(j jc뙽F#$N3Qh)-ۺpƃu=mgj۵ $E‰؆y,Rɂꄋ$HFRn9q,JdÊ8hnxwZZ3:kܗj&I