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,$ ]/ AWN:threads=2elapsed=92.082cpu=164.236gc=6.748factor=1.787zXZִF! 7T1]ŗXf1-/6vRZ\fVHA"\sd` q2;wB*Ki^4'EVs` ڧ6a7*4'Ka<IIJߺj(70كq 5QR,Wgfe eZ)ФxKrE}ҢN-;DmfD@+^BVNO,FP69:`in|C/pniq,zURl; qvr/1ŰVI!mV; P`He^fS'Hy(GELW%X6Mc3,> %vy?)6a{ )7 Ulqn4zCwgY9^Kr q8t ]ڼj4Xi %t3g}6 ^Jz=XeW:@+Mj9asAhaGMDm} U!qDoĩg5,2i<ޘ >ծdxȎKMUX:ϳme8t(oj9y6OSDT=9b1*uҷ -DmٓKvEm;G@YBNY~\;BGE1s]ħ` [JL9Ob*" +Z{D}j1ߗo.1GPZ)w(%Enf&x/`X=B`5I*q[T2^Nam*WNT KߗL`4ֵ ;ABfHgŦ R}BF4nnm1lkrs>A:kj^~7/}\sժL\\CSDKg qwZ%׾;5^/LH& _- %8 q d@7++Ygj@@9w̲kAʲ4N(rr~yk/O>G ߪ'qn!!k3 20^bgEPx A v $Rw'JOFJEM?O^{4㨱%] kNB44⮪iq^=v&:ͷ2Uv[*hS,>\y,/| B*w960q__ L;dj n7gYZ7zXZִF! ]ŗXiɟzT|.a*if}~J-8+t6KƁ$¶O֌W/).O0$>Oq@TP`T^*pܗ&nL?E'SkF4YPhcI䃄t;嵜Χ#Ia5o97XEGC[alʒ >6C?@cկ#\%Ʊk,(6˷eLmAz´H7ڵjPW](PJ\%Oׅ= \H+lʙ3_t(Nfϰ&qX ٘K% Т1(fA`\Vw oJKeW_|瀽қyq.d֯9af T5*@1߼gM8v|8Be|ҥBur~O̬[7BOyX\̕K +!c*d`NOVgP%VHI6+*鵸_by<;;_>&73Ip  ;oQ>1/k8ҤR=US|qttKqCXmǒ~KaWoxlKqkS֘OM5^R撦 DItGEG`mqeת:e)  >2.-rIσ=8]t¥Rq^HĒy6hwtGPhGlBR/-W{KVxs]R2\-O1É:N%턶A=4^moA u)Nt 4bi!1i6lkV2:b\pD e7]);h5H <׼?z_tt$'.ܨJ&e,@Mt_ Nn 0.MI;7:jb)vwxê9G,\v ]~ |Ebbp^툅8 `lMmѕk?U"Yi*ֆUX/FtaNA ]Tpd fq>Pzshn <9[v,(|aзqBng5Tva 7dk)TTT6_uR;^䑣{QE:D;MZ aKb ڟ'LF~d(*IPƵ\ k"/y{g9>ys-fDģ23nžs{ˀ$Sj`wZ^Vdg iڧb|$Yǚ"ݤy̋,ZOw4_ܱ-FTsTXX_y*M~]Aэ1+IUt,SC-n-e -~Xe_7a5@ t$U#`X%eW+}ѭB.hȒ-,Sos oZ yh r!}|] xy&@ӰVQU6^|j;wp izfVH\ 657I]hOfK菷 o~3!<#VveR6vv+z5Xd.ſ;zqU+|.='açq2x3r ~j7SٵYʭLש:eÑSZ2 `vnVfeA(^P#IJ9S0=V-gnQ>A?r"13#G;EX>E)ǽGИ. e89ƹnFw3qeҤl_14 <5YDIDVxk(3nGlM:+j'x`M?aD="ir Da^[4"av+>rtc"`:25ؒ9kp .[tgCh$ Lm\Eja RyLȢ7'_HKVaj&"g0užqB#"%cR: TkS"l#\0NcA'ӿNY]= GdHP 3!?>T Vr<<ힿZ0zDʆhأT;;`@ZydcpDP+X|4?Z"L^Wca7QHmq#2wmX9XauBkRN\/DƛL7hb:9-*{gmF{u~KYu^(Eɱ CNc㇄4 1$yBqld<񌉣;1xQ_~nƎakix'YmqJ&}6\<ܫBrdww=0NdDg ce/m32AL Mb1SH 6@g8Oߘ OWSQPRU_pF\s! !{K%oiaԱ']>s1Arߝ+'9)i\,9DmW1!*N}tI}W,;*$8gP%iOr H8S gS]٪! 0X< 2&6FŞϋ?N's[FuPx^,I"pŠ!ˆֵW!$3/HsR}U"KJÙ%LGpG=Ĝw?k!w2s^ޅeo,]S]̉Jn]Վ"{Ie3N eO3z{uihd:zg>+~Qcfvf*  !h~uԩJY'/pTsDOgVe,,1rѺ1 e}{x%,k^~kI$)(&e!.6m6N]3[!1dy?V-U R@1Vq'f*`l}IS^qR`:% Rl]g V)M1awgYZ9e37c98551b5931d3f43a8e7e6e510afb932ed73d6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e