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 \D ]% HOL-Quotient_Examples:threads=6elapsed=26.710cpu=40.388gc=2.432factor=1.517zXZִF! :f]ŗXf1-q恈N/|p~p%++"yqL^ ?Eu@LwA%aCI,^,&TGbL2 QaLIxWD3c@}lk@L4~l5qb ^N5޶_y8`bFki&ϙ|~FV{a*y鏏sB$ +Ǎؿ6:AwT9P[7":mGOnT5 p,nY߬S|hV|ʲ 8LՏֹ:ÿ+:^3ݵHnmiUPMH\&"/ 󺰐qI.U1$rcVs]7D×:Se"Sk [|@<8 ?ƢbCg;gY%4 F+}#m([q2}2ƘK`ȝ撒jԴbJ^s}={@/#z@u"Ӈ}쎾芑GiRq^]^dYn,a飱gYZ7zXZִF! ]ŗXiɟ1TgsC2MуIT.@o\֙X UgmY8,)NYH.6wmKג+;fxRk!.T,΍!dR'X)ͽ!JX$Emק}; +_jcNlVLD}ab¡6Ҏ`Qus'|MD=D[(4 3ƭ,y}?OY붖c|A*gYZ7zXZִF! ]ŗXi%9(P־VZl(>Si qbj$=t)]zYĖR Y4( ySj?8(0mߕo@:W_Of@.Ou?۱YcܽKq"qqr'7S€g4; ]~2N7U+&j5ڨe4Swhz+4uo]P:iP(kj`\;fQ=60~Ff8}C5W[($7'M+nh:!+ kb!XPb 1Ix"*Ye!]_ԡ@{WȽ8k /fXe65/a,a;%Ƨ*?h*NdI7R;˧U@dC2c;|o]vta0JeZ>H(stM=u)nofǀ `q@=kcMTD%fםϺm@Is >2` sހRAIUrT  kHgVIBur1oHF qX -a[ P :_l L62_`Gt͚s9 @U^Aѭ8T ѓ 1fuI .{_B pC8@[r_%ʑRF2ǹRh;7@ioD8BOk¬ތ9{~ Smnmj:6 ]pif !9w8C:^n" 3?t5k ]fȕy?h}FC X1HK:a <STLw|rkL4լL:?2 UA2أS?I[ h2mM+'cDO0fQF.k/niiW07ʼKPcB 3:a3z*ا(R-WEwi|{ŞI3sri16o\$v9adHuOt\ԼOVNepK Me<{sEf