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 ^^7 \|, ]]Abstract_Completeness:threads=2elapsed=8.245cpu=14.352gc=0.836factor=1.747zXZִF! h]ŗXf1-/6vRZyغgЕgQ,n0 z߇+UMe֥sFèQQY)1 W,~4(7 >ꀑרpv-bhBtNUMݱ14T\uz;j ׅ<)Az[#;х93?KD8I[3ۙEՕ q cՔ@[͚דٟu6&4E!Ҽ=D;t'~h>_S=5,bIqby##bR\%Q v|:v!|mIۮ#nԤ;1iX|gYZ7zXZִF! ]ŗXiɟlAC,YflӅn] 6X, @H3BcKi"Sĥpc4j&+pqN~eBn|jGUק>_׻K gSLǼ?T\*Jݩ3^Kw{,kw2EeIt;?Fα&I(~ɯ,"3glDR;4O/޼xc/jv4+7-K?p֍`.(q}uzDGpV# ZYwLm.c|] Z; jKzdrUF:AE{5o@3 0 IMÕ^IQT!ea H{UĞh{=*JF3<@慚)`ɍD̰~?kƔ ,KڦB؛&@I(x]vojzMR<"m܊UI x|c]A<0srϖ\ZRLJ/ ӗHD{t\@kgi:cAp.1*36tf Y^7_"nIhQCBƹZQ/+jrglO~d>d6,~fkj,Y>DOxt ܮN:lVhwF@Z5N_2Ñ=K.D@! v@zaW"$K& ҥpWNQ$g$sz:|Q`T9D#v!9W]hmAUw#:d;$7o1ʑ"!7@Mﲷ`6oj" k ugYZ3b70f8c2c7d3bc29093c878530894fb0050b069779d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ad6d44f7aedb014e340bd82c93157922e7ad3f04e01647a440eb9dc8b78c6ecc0b40ba4768051e8b 7 Abstract_Completeness