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 [ID|t ] HOL-Predicate_Compile_Examples:threads=6elapsed=52.174cpu=171.888gc=10.340factor=3.297zXZִF! L ]ŗXf1-q恈"3UUMѺXS8*Up& хv+?'X<~r#$c}UrA%!x*}Iɰ.O!_>9]zE>1UhgZK)m$jᓵd wIqH昮{='+bmG2(> V ePN56@eyt-p9Hy8$ 垯HE^s1Z)dQtݍ N|.zd#n/L~4sE{+Q//h $uim4-<-H!-G'97q7YRuK(WdRa0& ҮldzNiBEcKzeeWA~#> JK'B͡BF+_lM]'Y1tz Bq+=Ci'o2}Aח]H*tUslf߁6ؼ%fz,U%k:)6AرNLvC&Yg`[ݑy⤝Htxl]}<.X1) =L8k׿ KӵtGF \e'(#'GDNrb^EA%ph'] ͵wNx}!_[tG!F֠: {=")E N#KKǔnx ;@3PC ԼEQc2m;cܓSoo 0q,4;#9YEh. ^GwWV9ɓVh1Ð~t#-y4^K>] FUSS(ϩEΑ5 ¤03kxx;ruΪ'8Z¸X=I@dȮ7B!67g MZ(ZrMdK>pf8)U"1V`셉f_ǂnLcJF3*>۫BI!\ blAd24":GF^`,\5zbcƹ\U` j[n/yE|a#N'KX 4$#vlT9`~oR(eP≜j"ZDp䢟'h6t0WW s-lvz['^d*ݓ ?QÏ*P,; ;%쎵GvQORߓZ2о{B#6x^7I _抛qڃka߶a51u8mԅ9϶x2}uH[Rڄ$ldȡq1P$98y{T0V,F!Weܩ+nJZ! GmKI(wc; "+۬XO u(GPjPh_UK5 gDY}EIQ9C>A-ix0gZcb'cWF;'yQrJb½ڬ>߫#ܺ]!]i>R.Pk7"QJ׎|}A!lD_#9Ǥ4U LTOFk^:qNu ʪ=]+#cNQ9=HSgl,t\q5 q@̉K &d"OX}_ce{qк45[Jq%r ?øYAD͎٨gYZ7zXZִF! x]ŗXiɟ11"7l>_5N: [J[AS .~`% 4i 5zW*dlZ'T9E Ձ_1-Ϟ_ %o[F'[A ><5t|mV%8ypcLJA}O. JEI 6]Ha.;!U{w iz8Or;wA>*7aLi3:< D8sK},¶Ӗo҉0<+-EejƳE54:Nf a/vC+&3! +ZZH-iŔ%)dw4K%q+Љ<3|0a$U>94+pJXv83m*oy!Ud h*_2k/QZ `{]HIW<KEG;9=C_}K|U#VOhcFj^TLo-@ߑ)<`\2Nclo]ɰ_B%Ɓ׋7 q >!7l \naogDuI4K+-a fyHҷP/ª9wamŐ֓zgMϩ-}.GO&@<'=Rs2j sPM^X[!DPWv;(H$JVͫPq\NsҚ3׃kZ|j({SL['| ]"Da풱ag#!C)//wR^Tu~:*ڐ&,cO=vut[*3a3iorM2v3hVtЛ6miO S=~AΟUPE3\ ԏ ߱p'i9xճ]o|gnT UK|NNtOa#oBn,Af?/SʩU '̥ǹ3D OPUՇ"3RN߽( rm廵/f/A9A`Ax$<(cA-N$J-II"Ǽ-hUrb,~áV?s;P!c9uj"83` w7 ׀o6pblKezզ-x5_3>;q{1]CR'7U~FzxwGGB\E;4l[R|-aK44 B|:!YI;_ h=da%e]pMXE-4][lWr{Bhc IXRg=bN':V lh F q4y^ʠ5Awin(TbMHa$V;rmȀۆ:$/Kub 77׍ /٣TEiiw}f^ou%5c8x`\d'eud6 (N—Ƙ5g-+J}_PtoAfL.`nVq", C[.RU,:s7 U鼾Dy]՘Hav!}5-yA[ErlF[UUH^sN:7fG1m !2%B26r?o oOiJoHu,KwhC``#C3oq/4 t@SO[K9GO^}z<+6R:&cʢf! XIў˹0,m>NxI?p:ܘ6Sef2rFejEwWӤfo&Fmv?U'm T3~oz8  G9ZƇH3xb>-cȃw:ܢ|ܝex=&i#LW_ʊJ8 []g@] UPRo!{ :o3mh&>*̱oI|jM![ SIeI˼*+%Bx/Kev @aVX5'ZB{ A41{h&3VkW*s/Ql]x{SQ촫am^)yľ{lbã2%L͢3%y_]N(K/PTi'Ӝ'94crGML2tZd ʋ5 {XB,vWh'E! = =.m/ȟmxhÝP-t ~wrŦNeM[2g <^nK{tjzY`irq|4giFD81+s>睦^C3-dU Y-k_v1Ĉ\<-H,r㋡KX uP_WP c?5}oƘ.8Aēk ɞ7C?P !R'rr~`ʻ& صrU'9 wKA_ `G(t뎘罅_~ر]6 ߛh{,z͘XD2#NSЬG]<:'0 &'tA xuUGGOl^'v ;P&hni|9"l6fjV? "ARl,hWw(ꗱ@g͚#2+Ha2> ipq᪝ý_O bz9k*!qc;k1D7zNŶSLAъbe辁Ƙ2+]T0D˔yY,Ms]!'etۨ_6s#,#'JBE7#vY]?DJ,kWQVz&QuGstH I~~TL5ؗU0uuP13в>"UAh(_@i0>ނi GgYZ7d54b4df365fe0d5347e251bd2ff77c1d04e0f4ec5cea5b34ac37b6e0c76fe924dd8af1ace07cbbb 4a475efb7075f8100be1664cda4b4634574013fa 42782a6f0b6357843242dbe6ce35cf6575008d95