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  ;')ӧ"[LWd$FP܌ʁUr9Ezj=o=pKF`J&d v%zƒcq{ YOx +&x`HZI]jڅVÕ ]Xi(k=l".@!foT,kiو睶CqUjƋ3| ^;.0D׊ 6`y-M˼ѩl9iU[ eAn|blGR1UJ庩ٚ6L$36ΪC 9|^F.]loGvn*~M?"%}DX =R  8> hƇZyEMm CAHCIa LTLyfY Θ̭Uq˖b?D/mLJN T%E4n|VûI)N tsګ81rn1GĤwtkd>&\ÖwTإ\&[mEPQe5.=k1xZ'x&48\ZDLqLuS,hkx2&!1=oHDξԥ9g"L%Dj53g]!._!~24g#FY{9sVxR,^_B!yF'~fvf=m|џ фafY%*R+c˗lO'z%-tD~vB;WvlV0C/@:^VFg?ԙcm97bZ)R ] q9@$ ݭ4aK0hN''#qa~#zR$.kMl&H02?)"rv߮߾l4kWު,vytGP%cA0KH`PW:46!TDpuOR0V7/.TiO|&;PƢ"#*GQxhm*z4#RyᚚgS(rwͤLk1zeaAYH*RLS;V7qe]?xD<fFĈh p5Tu)&Y?:m=L<8: ?޶0%pH^k>9 ĿVgYZ7zXZִF!  ]ŗXiɟ1SeN|63ʏdg!5 IW ÈuUkV$$D=L1~li4hv w/dyϚI[_z&tYmHPZwnO1\z7CgYZ7zXZִF! 3X ]ŗXi%94.L2O^hHd?> '?]Ht&9qނ8=z{"@2iTWr\xVkg* =ݩe:<+>dQF" 7|եV2 UB7*F$=<+NHfW\$)Dxv-6fA3+O 7t*L5q]WI#=I#wvyꙒg↍M~$w%Bsf )go-+T쉙1DKJjZUicW >1e󒼷'lJfyJ@'m(PU"nxWZao 1(,LGV̿/ds z~'ʶLf$[YC? {A3Fы2ظ,5x׮l)^R|CYL8 lIFŗOAA$|wJw$t W"¶{UO:]R&̆K iK"Ҵ=|_>t70Eې8*1{weʺ\"jkm}LB)rOՌ*WŅ1'jc:+M5S9a^|p334slF^/]qLr8!N74;?|mƳfêY]rZݜmVV/(jDUySo,Q̴m9Q83d* 8֢$r~Q l[t%QºLoc'= Ccdf>P +;L,#?Xzx%MTM6`rGwPڌ h,Ƞ3WE,SgkܓJ ֬>n^@OYU#tW;[kUQi b~ۨp+0I}):}pz5m#'d) ^Hq_8ӽ<1:b$N8U!$hNTW/\c]O76yb?@_8w =P(./2DQ54UEmi1Nw^MTW@`vf9!c۞$޽\30`vЭr4[UBTַ‚ @O'#P3=\[w7$vX33v phwxQnUqH5*:{LnQihG@`Qq:AЬϵ4F<;Ho5K6gG v͗I$"+1Ĉʒ=H8?WP-PK2Hi<;Ì-Mߘ6ZoS= Cc_Ǿ}r&Y._nut_Hc XI Y;}XMuީ{ԣ!V~P[j(7nC̼-$wwyɳT 2NRoߺQ4\'H iM:]F\:]ݿ88y;D&lCE0H-bFE`][z*Bjb/6t iS-YGy6L[ &4ipL&aI˔]Sg8^RVa q~ IQd.&l Q O㪋g=REP*˥?h6ޠ`l$4b?LHs 1N"`j2iuK=V06Etbtfs0L35myN\ HqGIGWQ-%u-*z8yOkt/1g%"%V1&D9SØKbDr?W3W3s?<7&A0Q0JՊ31Um"uuEVhs?xr:^<}BGbrtgA|tGŠ͂F:gN)/LkVO