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 1 < ]/ Robbins-Conjecture:threads=2elapsed=13.467cpu=20.084gc=0.276factor=1.497zXZִF! ]ŗXf1-/6vR[Opc2 DvcfǏq%^  #jS0}R87C"Nִnf!n2X2;NfiNiI=v73LU *k|M*+1]?ol&Cd&]-Ҁ.QF𔦣J\/,eT7Q ]QꐧO!Rham[,ц\LdBy{: }dW;cXy59QS+w5ڧyF4{8UH)b-z*Dbf}4'$^],1+:2-`nvЀtd! ZJHO9dPN`m[+~y|#V !#“2qr2raL: iJwZ{MbMzY i3A!MsJe+,t~gYZ7zXZִF! YK]ŗXiɟ{}cCs/7~f+#cխ߅)D6ffņ#X]8Ȼ9\/eve&gZ}YZ7zXZִF! HG]ŗXi%6\WR4T$3>Gzjp) pTCu--۾Y+1Μ]$ b4'd}NfPWQ;9C B\c-Yi쯢qʩ8@T.gV3oDAy_g:DNa挼NMq@)TZTciAEp&_f0$~7VR8~$% ! V݁!( əICM1m]a7nU)GHy?'#-Zmq|;ʼn d]E峬  jŴ֋ޥ;odE.>B=⾃g BmFthAR?4_ntDث)NLx2=Ve"z=Ɨޕj_dD ˞+YM ͨ&y% -0D`K]^T5u7/S/Drdjʂ=x.߄ 12ܣFus-'QH;hDgv潄қSY1Q ԮfyT0e&u'뵁#{'Āl_i:irOCQ RG-f89&r_~B f-3I Fp#S\|ڷHjQmWz*r$<٪IUu+|%F t1w|^vnC#++tLkRkJڱĭ#4(( /ҹeyM45=ZS9 PDΖ޲vN4wE_Z]s)5jo~B̅GMsа?@dHз%$JN#