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 N \l ;% pGCL:threads=2elapsed=37.018cpu=72.892gc=2.420factor=1.977zXZִF!  pGCL A]ŗXf1-/6vR]u6bk;_ؗjT>|={@R ❓U|8ߍ)xEVp~7΃ɀ#|ep h8u]vJ17^]!bMvࠫs)sa:X,Do"8eOw8]Zȸz\omgRu(A7!&ڝȅEpF||}kZ$UDٯ=U8;ZVes ZHǢLrMTD`kf2'oP^u|/֙B䣘zO ']=^m$h{sMq|ܭEVȘ|b5씸Qv+7@qSm1i2^Y.5<&taY-F{NpVU$)N$xٳŞтf'|0N?jV %V;+D'G 9SHp9ۑ#G`%̚2WS{]Uw=*[Vs; ; Ԅ_-vm"c꯾rK +R?Yc<Ua6(awէS"x Nw~Zz1@2L};4չ8 :Ch] YİНE=K@olJLqӠPe JFsiYgG['zӮ[MK'dಏԉ_3}cg @k:Xݨ@vwna%(TLW<')jhR)ae@a`iIFU8S:Uah2EY ]esS UfɊA`,wڒhȓ^w15 ŭev>?-Кet++죊*Q9k~3Z* 䬈':#} LZ }GiMImQꁬY;fSg^Q}oHv)B=>mJ<ȶ(p*y+28܏jGs2*z4n$X:yl'ь 9g@q`[ħD-ҜF~q]]|11z[^6($i}؛a,d(Uw[+ ~'dXrH@dK5o!d 3~χ#ԈrZ+r: yT0hI5/]fgrT(Yh,r vW+^9mqXք 4MpC yB6ɊѶ59#2@#N5yN?S]4 e >ϐGℍQ-DIL$bٺQ,w*xJ5x Y\|bJ5% y@GĪQƼfLLHgVӕs+FQU+Wg=r}֕'vC vjU#(;^L)/2ZA]CFǡȋ5}73HϺZrP5C!`B_*WʯhмɱoWGD##_fUiH<` Qi,0̶v=H!GV䡲t1^rQmgsMՂ-lϿ% S#F193Gܨ,Ea`@6 j/xRG׳dGNnnK⼟r.SmZ 8hR<'!\JߘzCHt_S*%N VV_p2}Vگ1ǥդކatd,h wCp>Q =]I\@` ;24w^ԴxUf o\ͼ;;W,{P]؅MU8hr{D]d*EC5"dqZ'J+!1«)@ ],~.xv;V]Q!r: k>pEc<! Vxo>xۗՋ>69Z4mNDm !ݳ5rDN4R!xq3׳!MpM+@^a\#SUAhǤ>T38}Qho Uc8bSaFNkֵ6d5cKܿ&x\iDشLoXǿb5vnZHQ1XVrBڰ ˮ^~ڗc$]>~J 4 |grʔ徚àgscϹ?W.ͮ:sV řTbӱ 0:^^25 ;wcJ r ^壙7kͼs qR|վOn LaخM=&jh-@c~z$xLh|op Гo?Aj ω{@b'-dZCfF5=Nq"mU5]E&)l M <9{ȢMl:1Ji $ew qɜƝkv) bM^Ϳ'#fp<ԿIXR%m$Z/'>Rm;̵V>w?8OP;+T$vGbDPx.tF( Ӧ$ OXVV׋^ј6Bö\ {NXFbyn(%k%RN]ĈV3!ZgkU3c&֦,;8f愫#?03 }^oq?ApsϡrYbaA%5>$t9.eD ) aUbjwct0W%E wmu1f4'}+7<*U܋oSt[1‰rMqZ2ڭ|_|oyq1F v*^r##C~hBGD="v-U(:x/duL":B݄Lp {Xʿk ׈"eûĎ/5)Djl%S؇2f$R$F ջOH/"tʞҳG+҉)R-Key9m+ƚŖ>~w3liC?DPBW'w4 EҾc cwk7N|Xu5ژ(7٘;> >J/a\ŞXW 欐eI\̱-EyBPSQkkRoWht^o@}yDQ6BJn=ҬWtF^:PeAp,u$GpKmVGo9ˬ' h:E/h4& . zVtV鶤u~FSN/a' _LQ0c*Zio?jf:ԗWҴ9P|g63H$< Sp 4v3[PQiso ʼKtR'q`̵0XDFZZ~Mf0=G$&:&SB6$f+Ɗi`J,=8ѥJJ _>а)\jœZpB&8E l ^4^;QkJAڡv#_p8Udػ״ Y7yMJO#Wwwl1<^{iU?Qg')9#2 ahUkpsV北أR~얆'\3K5ğ Tg[z[fi{ )}&ERSܩNQ|.1e֖- b$u]a1K8ν!)..o  dFP/}$%m7}1NjǺM:wz5[)`@N\8#ZtsT*YyH=v?QU HD )KB09,*d>Za5Xro%{xZ+D(E2VJW2w46IY$VT}_$l@VF2} "zd|9@7K476gmP0ue,wS # YגYvq&I~*#;y4N4/XK87b> @g$F.;+  YHX{ /Ը9sn0̉4U `\a߫F&GbżH(vGxtfQHA H(,oUR2Iq\?z^=NxAVRZcY5g诈9_CM>h}'70σS.کj[$Ҧ8/Jˣ a?Xݨg?L2$fLtÔmhTPmsc3Mw So;xT^C=k\31КdUERbqܦލ|n ,nͣd]BG~p ࢶF}akChF z'ֶ+Em