SQLite format 3@  - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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]Deriving:threads=2elapsed=37.419cpu=60.144gc=3.888factor=1.617zXZִF!   Deriving n W]ŗXf1-/6vR[( `wYf0T8#,"mäp+~ENz0IC󝢘&[%fz q',̈́ApkjNpkys{x;1cqA<1DeB^|!yvj}{-}7*tuzLޙBft+zTk(ҍ0 0:۾&:Z&Mmс5?ϸORyo߲]`g;phe`Vդ˦F759Iijpd!˿Ҿ^i ;lUXt ѣx/(05\$\?.@PzP?8sR.dN#54bHѿrt"wɐqVfvUi ;&qފ2ky|{1lځ;*>sԂԟ1[y FjaU;sQ~մ ^.- S:{ 0\zHsH t]nǸ\٤T" 'ae6ґ;ׂ̅q=.%YoLae+pښDM%p]vDuHS_XrIcV,~(+ ό~ȏSp]T(g7̈6s=+IteϠΌX\ zᷬ49% nW JyAeKf>NUP3J(L$Xii,~./UU;^U1,&pozZlH4V|ynP}rrsd02H 0piljŢ6D;ҋ9haH>|fiQ14`j/f»filF.Cy i" /Oj-=oY;oҙ[ MICl+A\wHY6v v}X"ͶEz-ޞۙ|HjOć*:( N(g5T3~[5Gz! / P5 = 5t9ੀFd|P;Ť(k\BH^v(>|M&_Τ?ؿfMkF!]1|XO"D996p[!=?) ExTml G`ݼQGc})8ۈM=^9yǧ'1st\#Ka%Ʃɍ= Y3~u0<#2s6EN L%R&MFI֚Fr`|9T_)SW1](qE8 ك  V-uw-R@v4s-T=_οWLd`@g#27 +%p| X De3`ezpq3@k]xaISYE)`HE1fZ&XЉvVIg#u92o+*~BтޥfB7vWx5dQC2ͮ\AâP38ʭ | !X`x]rqd;fP| -$c\ D~iv&n{W0_ovoB/- dL Y6j]8kCoTpC[QALIj=(gc$?|Az.gƽ j*O$ß.;+g_#2^btWVbZ|&vnXgD<7t >&xӃ#10!B#o&g/FZvGG_[,B/]vIQI֓y?h%j 1]e21v)I?\$gYZ7zXZִF! ]ŗXi%Hu\zbrLuuC\hX˵&:րs$ϑܷ[5\8k?kzVy='hPv=ɗBR<2mזLҔV ?F+sEv"kVTENɐ~Q0Ǭv H~ٳ|lsHLvѷJdCթ\:߸pփb':9-bjӱ\$n2#<+UF{亿?61Ի}%8DmWۅ1\aŴ씧)!'&%V8>ګ*{o>kՋ0|)udBgܑrh7؜?Uيs-> .Sug~N ߧ]*{_Fь:{<:K8V@cRI'@x_yy.YAnA>jDn=I&2JAaOI]q/߆UktB{#Z<^˷D%λNMna9d -9j`3KG%yf?l]_!9oXF lE`C|ybfe@xIIv5$3q jԓYpFN`8D~:+msl|^6(_/.zD_E` !K/% KSlp{>SHe5kCс9AiceryS5q7c7EP*s~uW?\@-ƓpޞXqj\2l) yaall"?xG]k3"S=wҎL B9 xW 6ȯJ_)pgR*"r6ufO ᦹhQ/~[>jt.|T61yZ~XMBԺ&izQ? #y^b5+vx(V eU܊\!߾X$I1TbT<5+`$k;-ר juM ;R`JJ}9p J? [.N&34\$]%Khզ|@RHiϰė@>fk(8Y0f8a=j|-b?=!zriusQ^|g+>cRR5=QLSe و,t|vl#lCSb"qsJo=YJ"I ,B {5UeB4YUIvvB'!s&ۭ&6&iD㘗MRؗNHZ-1YW+ NOgVʆ=]nʅ%U\sR ;u},J$ya6xEQ*yf1ɡ KZZ[/@B}>/m=Pتuޜ;\} i)JǢx/ >+cPHD6Fp" :o`[θ֬!2Fh7Pejįžk6I.C)%w0tT S8~%H_}./Ӭ(El~$Ihr ~gG?^4C&<޸NhThs^yGB(mT:阤7UNB"* pHi+fR Y-rkL3 E3c1k\.@h&pbJ j~ a9JL4oa$sMuaKMjh[b a׷&jyS.