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 cc% t ]/ Completeness:threads=2elapsed=14.882cpu=28.784gc=1.424factor=1.937zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjSc(ZhD%'覙0kTܧhTnMM|a{qdI*z.ೌ6E1-$;n\Ȧc(;wD((}3\q^ ~v$z#ض sD4߉0>BNwC#tx1Yz\v2Rrͭ%!"GI-T?9Z,I%o&4HwT?\E0Kr^HiOJM[dɚn'!|wb/˅[ITC .lahZKnf">\!ZWA5qCqX-$T6ت7uEB$ums ;IF۠i㪃+ZK6WoT% Λ %ZQeY%d`Фi,gYZ7zXZִF! ]ŗXiɟfssn{OBƮNk8sE?!B]tDjɽDf>.lrBt׻*R3IJ=Mw^wZ4ͽ,@d١ӯeUrbp v"&,@ľ}fiAD%+d5*YOI1EEEh,@Jdrg щ4wn["ys`~ 3F`#fL3 DgYZ7zXZִF! V]ŗXi%;ŸuPo4- cr<} F)z`07~ϴTymܢy:DI(!<=n|W^]˙|huUjX+:OJK\&04EĒrdaOS(e\rh,"+'\YςԼlp(d <[ٰ pϽZ1R, <,KŪmdQ]d^-liV"dd\Uu"Ғ1kW|84oU5&ETA/jCeX<#K3 HXnBĞZKjx?\XX#6J:KD$uy*{OLOHw4PT8UnH& \複zߔSUPE _@>醭Z(D4ASTm EK]k8每Ig(ga`2p6Av%)4RıLVh$ǞoɥZTyaAޕZ ⡹:Wv/4bRWPG4]»|7 oQږ:Lr9VN@pwSZVCR>.%rbHj `'%;% Ŧh2O)B>|M4/;ʦ|w*Pyhh qkΑZ~;CQ_pQt0nα'r*!!r;LN6{*W'H⽼ u2c.CV.9BHfSAٔISj^!4BZ=gfp jfVƪ/zȓҵO!XxPؼw2+.>W5me:#_.F k5#7g4!v<`d$ T~Ҝğs}>KTҖmҒ1)(݇ ][[2 /TQ[U