SQLite format 3@ . YYQ77Atableisabelle_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, "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 PP-+ ld ]S]Sturm_Sequences:threads=2elapsed=41.528cpu=78.156gc=1.488factor=1.887zXZִF! <]ŗXf1-/6vR[]SZVB@I3Yf/jG o^1Q*${5;;ISf;$0d%ޱxF2ϓBO5mIE/=gsm| a%7%c.+*[$ɺܨm۟Q=bVv01&HY!zࣩHq'['ɱK.F6 U3N;2 &PbYtװTvU+:.-Tsszнijt+91Rj~WɟL|HSl`ZAIK>!Dm1C~h{4S0ibOuQ!F*v6`gdl.a§нP,*׈m l*49腢EFE9 - Y.nH) ̥&͚ 5cތZ 8= +ݡQ͚?Wqu0*0#H+ D3)cDx~wB_6&ÿN/n D \uyyrݪzM"Ͷ`*̣ק/bAQ?n^v;<Q2j -G* pP}d(;q +صˇOVtÞ?KʁiI&IӥF_n9r0^G5ϵeTDzYE: 4WK94SO`jTy<pW1gYZ7zXZִF! R ]ŗXi%6?1-Ei 9A|JH/ʫʀvI*"&P%L/e*%^] |8P|3J_QjK 3O`&\M)đ=F&$TѧHE0%:QAu]q;UfoZ q'Oqw7*/ڗ9?UWr&dt-Z901 l&(fl= ϳjlp(YKU&Jhpu -^.Ǹzu9 Z${K0LA'Ne⠔CehY)y8B&l1Fm'oYJ |VSNcZ[SS`rW7Ǚ|s}z`M##gII=Z[r݆B;PHN i!It`҂s(||`de%!St?|&5I6jjE`5I/ad/1N@rĬxiy⇘Г-̽cnXmҾ֧͏+3"BQpFPIY$Ii4%rĘRG_,! )aa;L@:$=.'eHS) dD-?T6{ahLͦ-r ؅#2&a qir.uE֦0*HgQXBe6j#*f3yy_x$tf5b Xek(F+g8ˊ, PXfz-FJ?9qGCNdcΪ4|{_+a=~ny47{m`3\%]p:NEHQH:YY[|7w#&@$:]lUy[̫2'#yt؜y61n5",8Y[\ DD_vɣ,g !$|m4't hNt@*kIƓo9,&FU-1x"PMcGZ*jNðښ{TBM5yyլ{PE* h!*{6G%nҢ-4uVOƫCnZ0sCDyCԻ3Bw6ڴh1BnOҙTط#OEO Nv(3ҼՃG0AYOț(³TBO$eA"T+e\P{@46Ȍ[hWWZ0=Ci I`_\T>f_LW"Qe\5Ԗ:lc#*Pư, @EB{S83YZ1^QiL#*9Vzh"u\mCioPRt.[#9nCP$Mn[MS8Icዄ Bzݏqg9}ק5"UK(Z#DA˜-#v/ sLٜy]{3m5c_g#ܜCu5o t;KY2̧;͸Ê[&69Um-k(]ˀN?p|a&gv辚>E`2@ERˎݱ=}KJOC?\]yFoxuzӞdLgYZb536aa9ae6cc1bfc5cc32b5366497712436cf8bfe003033e0a1df248159cfae37f3521344e99dff4 bd9d5b59f62cee787b745a18e37ce78675bf828e 51bca5798766ae8b6082d8e3253d02652fec4031 a719a564881bc4392379bb5b59a6eabc6cfcf740eccbeba811cbe3b2acbe06680e4652265f294efd + Sturm_Sequences