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  7 LL ]Abstract_Completeness:threads=2elapsed=8.940cpu=15.700gc=0.608factor=1.767zXZִF! )f]ŗXf1-/6vRZyغgЕgQ,n0 z߇+UMe֥neO#O޶x tۖߨɛ?6JGOP#)X\Dfz^C3BTpаg?B6!d(V"7b:h B'\mŌT$2ͷb:H-9mQǻ"XE##7!|䭡XlMr2 IM)NG1] @HH(cΒr8@\֙t' b( {6X(O`p o5$'yӹ0/G9jftXx2bin(VW1\fH|CAX|$CI\xCj.AHJ:- r_!a%%M"{x$[xeLN&no4mhu +V$If qHXKg!yU2 d<|$id_+ %N =52{`9h%6=0C}Hz-yD1n?N%yzL"z5'%:h(lGϵ17mlVTmKѸiPnS@z~5c]y[vlc433a}mJcsL8:VM6Ň=q8md.Z?!;)=q?A?Vh>yB~ .Jm5tF@liJq9^f,y+< }m#Sƭ3O3Q_*ԸlNP=5uhg(P;`%kjo0Jq8!zG^&ØgꦱV*0070|.WmJ>ZE)!-CĢBjLh>Ȣe yhrI@ͺY gLn}>,{u m ,'<,3j Gt~]2V3it}R>"^g7]8ԣWz)"0Ehy H yA?w*t#MY^?ά5ԛ/h "O@7G’@*eLqA FQs*MQ;z~Cޜ☑nEH^Qco5K1Z>l9{ ʅiLPS&B'f{~MCf gYZ1e5050dffe7321848fffec6eae4cee576fab8185 271ff21afb294fcb60b3e0f95e8deadfd318f7b5 5da4f1f8a066e90a66f3844d13a77db517e4322b 7588c0b45fb01d27d5a16b2316079bda32c46d12 90db2371874ef554aa90d55a5ef6d85fcf492382 c1d3f35c68c0eaf79f01eac4a7c70fb00860dc82 de1b4bfd7aac57e4ba66bc495845eb5c501df06f fc4ae0b9e83eb5cff2f8eee603452f00d118e8e780f4c0c8eb04f92fa9b72ba73b988fd158f20be0 2e0269c995c52ae68d15e9236e33080611f663f4 ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c4138151ad171ea452611faf41baebfc53dcb7aaa