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 ]% Groebner_Bases:threads=2elapsed=46.958cpu=88.716gc=5.112factor=1.897zXZִF! ]ŗXf1-/6vRZnihNsDڭ8#}HK36O_Xzs h"cx 6IT7#;׼4Kcq\IsZP9UR/s[ LE8I0)pCp "[8)x?[y(E1xcJQ{hPMSJzAӓ+iog7 u1cW=6zfIRMڙʝ-ۇm͇a2n7&46m8q-/l} 4t2EExm{N?eaBA\NZ树.zJ=~|m ) Groebner_Bases&?TT`F>MSҎ x2;q5vMOeK'I%j\K ]@9hnlϩwkXj`ЗNN@,~؅.yFE䔢F[Ri/hk;[9o3b]`USv jOy]9M!jEgrxp,lō敺Nra|4&.FSWwةPW0uO@J\5s$`O6a?EYL=|+J3=ҋPA:CW$p@~@!H#8fsHlEŽ$O>z}p0JB=:D،33#[gYZ7zXZִF! ]ŗXiɟp5ao AIv8w=۰ p[E1K,̈́P6?K\㲨EW8gMC.NhxUH\uPؚyk}?B@Խfcf$xˉD|e ߀euZϛc/f"~]Be!p Z!gYZ7zXZִF! ? ]ŗXi%92IU6ޖjPbBߴ#Lɩ.ۗJWckU5h7ơ.6q=,KkKВ,z݀pa!g5~ T6F׊Q {zA} >~_N|y0[Zմ*O Ҥcto`]`{JEaG͔;maM J? 0meJmmOIЮbh-R؝:܎wS~2$ڡFmلVmM"0ʺʽw@ 5zsG-ɀbRT-6vc4.'#!+NcmGݱ׼> 7F;'$T9 vVaeir5ðvvGÁ#%]EՅ֋N:;UapR.'rI$k-X띶x?֛#'2\-8& @Nr naڜI7n@O-3)ƞȔkx5!n9ɠꮐJV9!arp?嫰/NMK[_iVTB$Kl~ o )Tx@dʣ<#.&EX~`DNz י (7)fo-c9ҥZ*3iMqrw7"c {i+!Nݿ(ci2gmhުsZLd!Ȕ7݈:*jʼscswnְmSDE'jK%8+G؏e+[ͅoÿ$ xa3]Ii8`=y︛HTj,(fHH]FaIPY EV}}O.-dIt}6$82zhуs1k6 :PB ?G߶0'Bk).)[(b3.!E7S16X?aA'mA TD(h/lA/P(*7KDGر.ↂaH|Sm}e `-'\ G{V>k3P2FT񍂎RP^% B#9ZSȐBB^˅R(;e] <_vqâJ,Pkz1mMcoOh `lnJn%BPRu=& zc:TEVzp)YD0(#:̽:BL9 zZ.Z#7ji t"HņV@xu:]#Z6qxW!BS36* GC۬퍌[NqRKÆKR^q& ج9wcf&lec./<@ >*nd"Yڍ-gF>(N^Z$T .FBXAO" |;E7{k)ڟIBdLc38 ;`@r`e"XzT[YH]/Q,}NjWM)Ti'wEm ǯ+zp!!a2p+{" ~"PȈI0RN@VrLSu[ful檵߮J^doW|oe~m|)̿C~WpT31k6%$|.\hg:)j?cҎm#?.VP |ע3o-8Lx+UW|滄D[}Y)| 5SKg^Pl#co?ɹ-hh8w?>0"Y%mM9g3C