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 ^#4 ]S]HOL-Algebra:threads=6elapsed=49.186cpu=163.188gc=8.532factor=3.327zXZִF! \ T]ŗXf1-q恈\T,rB I|2C;" FEIL+2i#% f|p!f٠yGW֬*5scKs {ǖ'tUS(RijX`UX(>rу@ƨ\ W*;!_.GJn,.^׻yځE=m08lt!G/7 iN+>~{Y)M msH鏓O-LRF'#{ddse_fSY>F9rP^ffMѺ_hhuPt{M3W;Ƿ."-'d;o[7d f TFaJRyJAi#;^tiHHF,.:g9:wT'H6oK u3"P1LdU%KsKN;YoNJeF8s6HE| ;=GiufhS`%""BgM8е7lY{u OxfWG 07 fVzVۊ/K6͕}>v1zRbJ]pH~={)w߆v[,۰hpXA0Wʏ;TZJ29,$}^(䶩iY5QеsO`N cJ.{Ae8o8W)3F|bao]Ie& "}:E:Z#p2x\FUAغ8r"Vg[[ ;bbѨAIar2(f;+m! 2]\Tn /ϳu\B#]ذb@4 Gr̟y 4WĚ72Siى90޷41b; ٣uIHprO]k#rS2{~s@ !ٟ*GhvtaHcۏs^EL(^p)OF2Dsv٨]p 9p[Y {Cd{=V&l'kV(IH6HR?˚"tƺe9J_ Er׉il;l[籡>&<.0դA wUIn{bI`fO^sB(bUퟭ)'fiRl47lLf.`=NT50˜b`P[(M"Έy2lzuIeHP|Tۂib vPz$M;`hkHkesK9~l ٲg 3#-I 85UA9!֫Hy_Iz\IZ㒫L0R(GyNF3nsHlĽİ{],8_韰Z!Ұg5k. ِ̐!p|4g"Fz8'Ja%j_$pc_BƧ㥃JNlg Eo'RC|+2 xJAžK[-&],m~54X2 dԠ !VK RvusCZ'B앜|~s!)ӊ5opbz|TO%fzF ɭ'Q,t&6yp:ɧDq xzW ɾXD;lJ\H\Xa##YLbXwعlgYZ7zXZִF! ;]ŗXi%6HԩdΏ3 n[6rxX] $Tbw"i](LIo@P$QVMgǙ+{Otb N6둝76$s؄/2.3?Gq}Jdv{脎m5(Fˉj6c-vsM̮S5<+O1lk bWCK8>W$B]j>ά~2?JuylH=mv,}%vU9{X[Y2Oh ͳÆ>q~]g5*^bxZI5>ҔlPK^+O"O=Kw Wk_@e>GFc1uсajs;8"C`ܱ~?_ DC g^f{b_KUPБXrH$n-ČhCu!bJ̗Gv#nQcj]s (HznML،|Aصm|ޱCj iv _Dm-oEmWWϕ<]H~b1yD1uQnc~_gB2A0vae{SoK8M nD[u86?UY2oP{GGQ4jtY/ۆCS!|Y9*nٲ{HEHtY|HfЃwnX [8t1rGe ,NGHxftqM$'Tof'La4ΛF DJ)4JNJ!?C_dpڎ%v~yϏh;=JWv?t{Y^rỈF2U侕e*j?BqQYLʥgE^hbNWۀC/%k~`Rlŋ<[/6L =kYv뺦s9~-o꿾PNT[5iTh%Ytmߟctm_ ɑ(18- VS&FH]Ϯ?dkdd M ~ԣL5W$\Y3_yR_i #@Cu#}))((@љdxlo -5?uPCPJlޅTeBE.y X_ʶ}I\1VaO P9Gة[Tˤhg2 fUwUT{z#_7D/j{Vgkpx%8wloHRe}-m@;pAPAH ٟ0'猧GK fѶM4]wGt}lx>H*Z`9iuQEayK.CF$wa>}TK-XІ-. Ep5\f[`7?KԙRcՕǔGeBΘ!$twRԓg˪T9 ⣃ )('(5&}`F$O&'n(" hئ<|A(%Aħu՟ ZǽY'D&Ng\Eg draReֲ+ y>v ۑt lGZd"eGf{U28U4Z j<}T08dՔJmuJ>bNb%!0QާC: H:X&h^r6gYZ6288a53bd0877ceb13fec4ce66812707f2072895bf6df4dcb2f17dd318b7b5b00e238c73d2e97120 274a5428ce8f72c45aac0c20e4842031bace28fc 0a33b0c95605a63f19fc3f67a9f587b8e3c2e81a a39a6911e52ee2a5eeda8e84218fc1db5d2bd872e824a301781aee526da64064419df935a5fa9e1e