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 {{/ D ]% SDS_Impossibility:threads=2elapsed=54.424cpu=73.596gc=1.880factor=1.357zXZִF! `]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B,믱|l#ESFk y2SvR1i?V̾OmEZZ|d8.W'Ou2_44{O7w_$ k9v/h3JlHɀ0!b +?{PpN r!`'ϟV\i&dVɦHBTxTTjF Q#UO")OQE&c~زg@دռ-r9Ea`C!9wgILwgĨ6@ke/;:)zoS žG_Hw }^$Ii /2r?"m`X, Pc8:/\LOAVckPzi7gi"Uhwn"YӐkG܍-?}wyrCs' 0ڊH-, ȎngYZ7zXZִF! YK]ŗXiɟբX LT9W"qP}G Eyٿ6TV_lw3JP ذCx ; gZ}YZ7zXZִF! . ]ŗXi%92M!;%縬r}ꏚȼ-hv\g^Ip~#}"yvy~a[[a*ʑCf@aRϣY]JCM1?/qN|%U$$m`{bOv`Giw`l[w3iUltfQQ/h5&Pr2'a(̓^ۮ%¤wzt_ir/So[!]Q`j|Ohq :ЖiQF̹H Vw WU@#k62 CPJFocD9IdR[?$ bᝳMRFTE'M\‚Dds/6-{|yަXnlzC.jn\oxnh2Jr E@ k=[.odMujn>UiS!a/cEpväa( L~J{9yl}p)CG獹zg9u`Kk "1=t0b´y8 $#iDz 7vJےRL _ܰ{žl M7_cVwBrOb.%h&5\-C\h/m-8Z*mDî27IU,er7WT&lx.I"۞4qk%ysqL VcOWWGpw]nX^KHZL?= (Wk]hݚ>a}XpL1'00ܜ_'/ԗa&Ixݞ$ 6x-1 !:C/?FăH>]=T~t4DBӤN֡mATMUل( Mu"?R"b͖؈7;)jURꫩBW  dvK$9R'Z'jwaWm˄nx.t:?e2 Q.nzPq>`x^R=JVXb]wɆϸOA?^i o^V\E҈bE7~@)AJ%5-5Koe @3IHݕStR1p1͵@ŧ@l˖JK`#BkMRsme[ 7Jϔ5pJ$A])K1`kIP9$Wb!Z)fR0.4Sd oG)V)qRIsP[8#%F'O+<7,8u/QS^xC e_igYN2؋qFV_|MyvM'QZh2ߦSFV ,.Bb [:SavDiy7D&e|M1Cdv羧=v KByYJŴ5'Y oё].l?2Szbұ<ՕB@ H ,D@pJ0@c Jaz5)>箴j)ם-H/Ʒ3wlba/, c?$]@/mվӮ8~<k(XVE9P3s9u7y>2fH:B9KY{m>g"[m-+K9,q)wwH:޿D^V(f0X \E=,>q{mw 'ˈUul7CKPTU QWy{!X̶#Plj\=\O6Tx`F).G7{ i+!wh ;aV@@~Y~U 9`=efj ZL[; .¹ 9A,BT6vpG6٤7 FJ̘H7oV D;}w&|ikIHòzrA[tER|l> xR81Hc!qcxXTkU EB7hJ_.@`Hͣذ;~$F(ۇͰ޻?s-ƇU+MhqjkD.-R )y7g/ WTZ~n5Դx?İR>u1ҧϔ%0{[5 SAF6j:6lef# y`c&qD ~*=I1X0ם `ܟ}J.'/wiH Ք/R֯CX¶?UVcwV@0nAm <UM͢)(Sex|p7%$Q|gYZe16baae615038599eca7e4d0c7d24ea06e4d4e2c02339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 5d4ca6d7330bbafb70358c8735ac13f48c2b9887 08e409d96f50edbf320c0d71d4e959d75bc61bf2 6fea6eaad814e0e3a03e3234f252e4688a2b46dc / SDS_Impossibility