SQLite format 3@ . BBh77otableisabelle_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 / tT ]I SDS_Impossibility:threads=2elapsed=55.272cpu=75.732gc=1.832factor=1.377zXZִF! 1]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,嘳|Rz+.i[f簩zD 7ـC) ܥs/烚#B4m.SxALKzH +q=dž}7ʷ]9&U< 0 vJ҉`ZϜ@2n:úd NS O0Xj&*!=_5죣lβ*Z"N=JzkHkL/œ8ub%||IAl^D"Of&}v&?)>isR +Q+qVD#Id*~ 68duTT oZ/!vӀr^T@@ k!)' I0_WK=~ dW^&XLv/l©@zԹqC;'*a?qj Tc)$w%yܚ*kÂ֖fא%XH@VYSl;QUqvM64A}eɳF5f2 F9`(j7Z`R? ^O-%5P3'Ð -t ٠ &j~Lg}Yߞ1MC@rBy*=f־Jae 9"jK[Ji)e q ?n\'/Qipc϶C#/8:$p*c+t"h2Aתԃ\렇7C,LEnJkswյԨ㽥X=¬p[ a}[t\-z5a c投F`B\{28=fo] -|=O]]MjphQ7" 1@uWu"8 4sl=?ق_,PmM&A琮8_> Y|[b-g>˾AR'tͪoԢFjh0xQ1C@^<"R0Zŏ]Mjo}6:6?jƁb Z5eӚNAvB%EA^b?-) 1g%!eSt퓹J֥ ,DҦVtU,>mᒜ5Ü?s Pܜ54j;6yIx0ϗA^̈; al;EʭSlD%p/[e+;ɩS]yn N :o8Vw?dHF3ޡFZ:﹪qrmд+DL(jyQCx=6Ahs15oE$9|j<2_]rM#^G2xlm D^YrJp54a$&M+1iЫ4ӓM䇽aY v~*0>tp>6չOi;e1'!kme Ze|zU'0s O4B9 KoxbČЕgN"Bdk'TsY_ݶzHFAT-7q}-:v7G gՐLؖ s^٨e6h_]8dv|_-r8_}Y Jo1-}OKz\ py_su1;ۺTBnlXSSE4oZn 昵enE1 : vX eq˫<\fmv#f=:EzGCTgT0A$-ck!+:rr~xSi'uhL)hQmi`8J3J ߦPQ JQ`k@9]- *]h#ANWf(r{> FWb8bNCb Y`w՘iXk͑cFWlG :Qk,.vՋ.)_ R_^mx~Oq^Yc":°E ̓DZ x$ӫfٺݘĘBB*gYZ36573bb02904f881b56d4f674679cd3702cc95c0e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc a15e9030bb829e65726be753cd6c29a0a343ef2f d7715951209549f86c9442a653d9432cb122f2de e5dfb176d47a707d060ff125772d883bbcb98810 f5a019d9692dbeaed65ec90467093f77d7bef3d8 70b1688d545a21b9e7531ede7a242ddb6e77522d