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 jj/ || S% SDS_Impossibility:threads=2elapsed=59.837cpu=86.276gc=1.924factor=1.447zXZִF! AWx]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,-v?($DSo|XHy.Є8>C#y0J] _3(lY*!df yK̷n׷ ߊ`AKdtTnTӨĂ|ʉNUlW:Z)O^M<-7tIQgӥv#xP1& / SDS_Impossibility]. E&8Im|[TF L,Br,pj< H}|$LMgv/o]ٰFuHj;t&'J0N#>1o b@5 A;ɅZ~M.9 e%.-R]!ȚZk&=%m<'{K*; |)O0Dڪ wӨ/ք誏/hBBֿSulci-E[Iu=i-c ʑ%r`t=\mWl7kr ^)AO8,3%V<ABCB)?އJ΢ Pz腻k6I+zSgP^ |WiF'8@!RJ)Q0$KY }0 ؂ PgYZ7zXZִF!  ]ŗXi%HVogGA$\% :)QM6pD+*w?gqa.yGuoRuƭ,q~ 'n#quy6@OsQa\r7A` ͠LƄMЙh2p#eye7Oj͇ѩ`\Yf^҃4g\1E|d;r`%sG+Mn26C7|EQA ?U2~yb+)r 4[{/B73?ʇZ=7nZҨe/vnφ9{B=l=iDy?7[9k~ "IZ^cs{HD֦!\n5y<;ͺe%>[Bf Ɂهo_z1MAqt$ݱ~2Bݞ.p֫cʋ 5jNܕ-fo5rΪ\yDd"0w͎٭3g`g}-(hCm(X rHtpS L kCIAI ;z4?U&i-yݤF5} țc 0\+aP 7npi,S~zNhԝQ|R<\p{2߶TW^-: -XRO*G5MsjI >NqJz*@LOبIb̤sS7v8yFjyY8iSpJ]X͍rik7)?1Lg gLS%<tmp?B >Ҡkrxo_Я:Զ"9Gc8. :>)%k䔂IUjqQIS 7x"dF<+PL\^-):fZH=#ɼ 0]@=vX@КpMA-lFEaOB1B]EΐA$X2ϷF읱b?P7Hisݳ/PL_VYoO&E`+>,_pFζyBFibsɀHV/"رvdžwaqkG m^?q5Xtux]uXKUl E #J;aI[^~sӹȡ1 Ep]6JY%A(zIB>k{E;Db9ij3.T~$T7d5.⣵/ G9pq<=_UB~z'ڤwW;Y|Y]ۊ&Lrke/p!SFEP @,>? Sn.``V˥6lgfL}f3SjllF@n( @ 2P"2Lnq8RM 1CuZ⊶Z?gcJ q;i#*c9E1!{nٝ!\`|&1肶ɥ!̠iϾ?Eɖ~sj1` 帛P#fB2DgTf *N4amt6ؾ0s|: ej ՠϟ"I< Cck+K/K`lAx`8-\9%f4n9pdB Πғ$Tx],$%˺QbT| UoM, l XIݦV$b'h<{[ bԫ]TZ2$c_^;J͋vāI$eC&u&_U8GsZ9'7ţh;Q[C`vYhZ1ֻ8jI9c{}%5=(ƳhXLZ{}bC̶*{߂S!g0cjB3s 0@w4E$"?OPM#?"餽5|Y >QH/~k+7,y"*3^r[#Y sFz{FZ)3v'Ȋ' ~ ݲYLU)əYw8Pu2=ˎD!{x~!g2s+ÆǔnBr(e}[H`G 7c#uiH\:gns cmx)v8W[hݒQ6ulG _l9 eI"8ؘkO]|FqO*E@\ύ6UJk4yJsOwk>=1 \ ("ngYZ0e948a16b23c90c8091b5459cac6f6b4a988ceab 162a03f9ba77a8b985c0c58729bedfc2c7715939 33673101c5c4aadab9fb20f44ea09474df805e21 b4ad9a5d7e49db3dc82222e04a6462d5145d5afa8c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 42e138dd2055b0a1db4a1f3a058a8966ebf86487 09b65d430a7a9891a3f68f37dc3b73e82cde44f7 f6e4506f6cce2c552ed4bd6f1a9e86ad1780bd57