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 ]?|t ]]HOL-Computational_Algebra:threads=6elapsed=33.793cpu=102.940gc=4.296factor=3.057zXZִF! +{]ŗXf1-q恈aldC>14aUVe*@7Fl 4˗O(p$_J3A0ݭrja0Me2ճr)8RG=2g(B`fy YK}iU6N-)&>xtInU Q^SEDJ$/ל,Dqfll6f8(_Au?M-96d!@SF )X\A %Oc6Mxd3FR:W @FoԾ;aƆ06qN,Zr ? HOL-Computational_Algebra ݷgM.PD^I N;xW9DS׹ \WWyOh "MVAEm[A"{zk`Vp/}VE:yc[n/`2 HbnmNBکߏu6Q$uZEyb\R=5o_؂ t|FDfVIL\rOGtHZ+_10mgL 4+A 5۽-]eiW4SGg7h=w =\mXYɔ!g,?uj\oUjW4U'Oް8u~DE\Fh+}p>LS  ,4KCɇuN^wÊ=kipt,_E`Ԯ:J i钵L(/B+ 0&QOY!G ﱭZ"@|cc0~YJ{dyQwA? 0b3 `zc/yT,ED_Bq ړ}g_ "d~^I1pFP(v vABixz60R9ol04G@^w6qāz+ޜNYsCSxu'"?3-jg 8KJV-a+0H 6q_#.۴"&8ijm91um| s& s ]-C1 f+ܟ*O&;U'saZW|}1mu a-I^O"t:(2$>bꕢh}KP*#C KGuHxf"1d};f{$y%<7!u,RY,c>ܶg*>N4[A~Ur*O kO0A]@B9HCpf -G7IŬirZ߾FF)ݨ_۸{|c̣wUj(Yz[Y|R"T *GY y:_]33.-"h ? ^k 9lg%m[4X]rL7j-/6+_g_˙Iv1㏳Ww;H0?1_@?tO,h7y.3!ǸM(Z$ j!՞3Ao7=<^ֹk '3{n;[o 11wd}Q *rxR}6V ~ۻ(%NBkdyP\ZvY ,`[sxm!l Q#;4)<[ 7*j/tL _|jD;H7CQIЂjQo. ZϨE_b#DY(O4j{ΏU^.1iѪlY;Vo[΍ QtWM 1X3p|$%FgjEbDꜰ)9]>YשՕ`ƽu`uSYuN * ̑Į P-/?~,Mk@u\ed/,!lFG(0F XH^/_98 sgڔ@IǻMD?I_ ,Y֜g_s}rf9!QUo8aؽ9\42l xīpjuB2XG"_tA^P Iu .zVL!v~~CwܑK!͇Abd(K)TsA.dz -H0Ci [ p} H^rXggADnbgF5i{T4?4 oŸu>) k GrUC}mݿ y1Hj=쀸)܎ ,kc*[sX >K;;0D@}2ٌzL/a^MʥS󇁗$OKb­ P0-l.'>1yN~^A`_+!r*HGl11 ,VA q ?QsV2F^Z "2TuHa $oyW焞eM 8 A”#K,"6dlJ wi~~'J d<+WWzH|φ z - )^~i^ޑ( ʾ AL'*st0+$ N7" tNs7Xzĵj/9]R$qI<h*3P5Pۇ>f)qHN7;E$̊v\>PvR pL?="a7o}\8yZvD_|"ׁjK 'g( .F"קkp ג_|tQZ< L+QQhN'? \m#̻f^"j@qC'2EJ]<'.8Qi}?~-X Lh ÊA`KP++އ^ۨ72:C`|*^p1'^11:OE37XC=4AJ6 N{Rkpsf9*S q lKԅiM0LJʭS}%g6 &OYܰh /2&r_K|5u2 wVWH'we }efpyA~4o oÒ4U8׌rӍ?p`9 "gq6OU˵|{LfE:pERS҇d;\peg P(1rD*6DnPASg/[Y3J y_C;$A2 by­DP<`n A=|@Q"ߝJ(7qYk)Ġ phMGܤ9z0lħ V̇{y8(S^r|M@{+rN N?5P}x7xk\\; $fRo.z64MM]vжVKj)'WpeihYGl(CbszB!)}tڴQ-ܠq\/`!v8h 7ى2; CO$,] taPƇ 2g ދ gYZ5a9d95c50a2d7635e9d4c6bc888a841d8776927e94f51dd4e7676acedffe74ec8d2e2647f4dbdd0c 2feb435dc45c22ba19ecfa070808cd954dbee802 abc19200663f461245bbb072515b86a213f74ed1d92c00087ec5b5534ec4640439135dde423a1d84