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 z/ < ]% SDS_Impossibility:threads=2elapsed=53.078cpu=83.756gc=2.148factor=1.587zXZִF! GD]ŗXf1-/6vR[\NW,)IFCOt&; 2[Y Q'KBe2B, 9wrtEL4 p2f=%8"bEnW-҅ _KpnexzީeXJ?muuZ2wZSr EeR ;Rs=!! @b6n9SvUZQ6Bor> loL#d%;06A#l2=9 7*6TPX,D(A2gYZ7zXZִF! YI]ŗXiɟբX LT9W"qP}G Eyެ^KįR4W9=i\ /s&DeZ#}YZ7zXZִF!  ]ŗXi%9(PKVd*҂rI=*]4S=0 ]yLI4[U5XjM唾qMO҅jQ|RR : .tc!DqQ HOt%m/.G]K] ]`P 9_,dM'YfSٽNZdu V]i@GTD;*,7i|kTʣ37 04(~q؊ "F ׍5x?N@2MnBNfxqWOǿv{I +c;Rp.|;z‹^wdPW784"!c=TZQGxOrlϣG! w.2qH=?-bSDҬ˻!iO4BIp*Ҍ댪r>@{bҴ^gQkvu# G*M\ *k!3/v:C2I?yub*- > dzbQiuF~}LɤP#It4M`d(T@'l(?>!Rٝ3aLs,BEg8J?[Hb}Ѓ7PAڈ2PO &$dL2#u*fkYw"(RZn 쫞)T",g>a?]MQW7E.l-aҬ<־If y2Ӌ_VxS6+TӶݎF*N̚T40)ga12b"$CiHYtIZ+ Bcht{;hI] G^Kj^trB-mZ:p!.-ZfZozm*˩'6ZjBx3M'v+ѻC{ww*iѠ4NyGPBgSe 04R# W#̆F$+V)\[~9g+#SWQa :AkkHhTa` QEP('{+bde"JZȫgUy{~'mQ[)2W򉺣{<oEm6h ~kD9ZQ5WEC3],NS 68raO#JzX5M+9KYVz4yGFcy$N{wW"Yj[4+zٿbwlxLT32e_\ t*!5LLxሚ-uY)%]G7sov)'(h065 #$jj2׷rΖlV-s`"6bBf4UZgVt-<M3Ԣ_a 6 RXEfD/f-jUQ{mvSu҃5O~=/f*k_(Iț"O@#x>|6? Q/XL]ݍXo7]drK1N$)-3XC(B["{:4$IA9mO _PN#Q*3R Z׬哴oІՔF.q =^t[yvgWj\Kg:X9!תC{F:}ߦ\3k@G²` D>*9;tnl'zMnߓ4 }%D3N3陎 3;LgYZb6d80c298a76ecb90fea0176b344ccd7bfb4804b620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 223999b3718fa9c4a49cbc7261f4cb6ae6361149 cf4cd8bff22bd4bb9c82a246bc88d699695ee1d8 05f1266d25029a8863a0725c28f3123201558906 / SDS_Impossibility