SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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   v 4<\ ]S IOA-NTP:threads=4elapsed=5.998cpu=14.180gc=0.296factor=2.367zXZִF! ]ŗXiɟH)0%oW ǒ*JvpF@ OwQLpv^|E918\a|5wIff_G 4RQvUۂoȡDnDu_0 ( Zi"žָ ûSyڣ3l#J"J>MƑ ]~Pa9S,C( ߙ9`.nB7, 3nN,$o& };sOԦz޽\ z.R Etd( 1iV @y z  oMxpb~2j<J6Ȓ `Ex)?amTKMp:Cc[?ͣԮ:qrh2*0E3RR2C0ρrLpV/KSL}H\eEC[!SB3ڪߣN ?j^n*X ˕I~S 3FU=R%Na;/Ke{ȜA ^ڌyV4SFf ȅ8R( x-G' Z>PjT5tps*e#/#pJНKx [<0gt|bݢx"Yf  WG*L\Ku6\UNƒ-5Y՜ RY]E?o ծttq}F79ò]+)"    IOA-NTP  Hv."`.H+=&@BG@wGtJLy/Z:bR* K@ \NG$h,[tP^uGx>>?̤)QE xsmD"Al8j4B!VJY2Я©9 3D<-qy|I.j |n܇I;;y.v \;'<Ɗ_AKTh^tM)P'\ R f %yK^6Mj: JNHXdhjĒׁkn f>$2BeO;Rphmd3#9 \qyDs|$$3h\#r0K͢s H: &4.ʮ!: Aӳ<G_')J()D&d̑[2"Jꓲ0F{?eT 6&_x=I2H8Ѻ5۪ q'$(,oq'JPbo!hNWVT ^ [<]")^PxavFo#ag$Ȝ_BXTrmu&L3,;E[%Cݾ%ePowLR| 4/DFx|c.yGƭ_~@{Dͧƍ́dI'46j0ti GrH`@vU=tk\/Њ Q`"D!GUF6x]L[ylt!%lBltCuqjռw8ݿ0δKFBxQěI[~` *08=f%Z0P?Wyh2AQwr| i0"T^YxmH^c@݂;wh-G]bJ//ݯc6WENxoaE=_B#Pon|YM4UxIތtĺr_M%2rXxJm]X,~w/RhHb;(|WdK |Y{<ValE8M?R]#ـ:.Sw[h)KU Sv --۶Ai8  [wUbz[bL¥R{321id:PPDtTYDl=Xx?.›Έ(3=oyˎ:,Iq). ˜ yz)v}m HiA=^ yJHJ2GO_܄Wt5=%)|6KNt:|$7@ 6oG.~H=mSqW:A")BI"]:ʭV!YV)w |:ɩg0؏*AiBPL9cMC/|AlHcQе)$O'_Rp6n* 1[K(dPuj4-lU%qNK@t!ĀY,PhoBBO}ut]aOFH.AE|(}+4WQSӇiW޼?՘j9!}3$s7to>!-v\Jv ;:$i`xkr5Ϡӥ\ `䬮Fփ͖0!!K]ogYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz#D`@_7R5|(iHZr 5iȚYێ*ٯ3fBju%.4}3ҕ`3P|Fw Bɥ6Cmڍ$ 9,U?/l$JrUDL+F[ NTa>}FqJ&Є7%)!$ԌgYZ7zXZִF! #]ŗXi%L!l2z/Uh0 \iB⤉_K*Mh! FG^E:6is^$GW t,LS21&'-nhх3rIs'sqva6Lp u8,~&<E9p\\M@/7.*Z_.0:0== 5h5o"tC>rbi