SQLite format 3@ .0:  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 't ] UpDown_Scheme:threads=4elapsed=30.562cpu=116.508gc=4.236factor=3.817zXZִF! H@]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&V‘/%鞋cz$ UoD@v;EE-B@8?QVUIlA73 ӭ&ԚC7/g>hX8H ;X_w"}=zjH?zd1Ȏy]A)Y|l"F%)S}/8~Ǝ_vօ]@I1b"vm6{boh@<> p]fQWYGqq\aZڹ{Q m[W^~XgL2D+s\MXNdj'CEP<ɌTm).ȱͤ\WO@Gl"QU-g׃g7YÝ;2 K7<:idU&/TX4'-}u(]''#a0>: oKU˨[qjE#PUbR@(ןw ?#j(amqhŏ[Sp 7\qfͭfmޱ1(s" iiSqԍo$fJNQM't’h@'}iH lygMPVW>3Xϼlq*Ml.ݧ[` *f>k^i{*9 1[g&:hw&zMii[SRɡt0\p1WTmƭx1`DSTR2]ž?~OD >ycPf_~`䅋s3GՕ~݃:: @;/hXCsj~b#>9"/P)LC ш]wfWJdֵ XBuS, ؉6D x.s~$(-]nu& ߰Mt#LF!fR-h4~,g2V5E"G, 5hCSĨv-,%>ʢ?/߲~w߽Y-R%ou :qH Qn=lY$Fv٠[!t:Ųpjg [~Adz5E:ζ8C'IhWڦ'@; [dC4WR@\A2d\hEZ}d e:m 7 ȣpﬡw#Y|ؼ*Y+J#+\K:?Ϡ4BMҡ}|-Z $f -8K5.XYmmH4arE86tGr{hYt6~.>?(RlaF*U r܀V؝`LEt㑢o!js5š 4)-ʠ~[A)Q-/4wX8K%0Pai.)q0W;Wsqui ((sl#یBxI 2ZSatHLqP )N ';b)_{(5|d9x=M.}ʴ#WRʍڇ;<}>.1Kэ Py;=(~b(źlL$UnʙP*T3} ͎@ ]  .9Mk_rY63 dv'aj_2sp]\ 88Ad z _VB8M; ~L`]g =k<[`1҅iL@:Q*xHbZrE`/4zsA<[o٨ЮGga0S:3_o;MCxݯ6ϛ}B>~TaHU,y^/C-qoXȘ!K&*".&C~/o!I=9PܘrpL\\JzN B*N~y'b j8xdT7/rN2hˈL>ɞ8 0Q 5`H0a/ߩ&y옥R+̡rb)Ӳ>j>h$ᒗZoArÚmDvFYMC%'-sώ^.8D v34I諊tjspq[6rYw*ձz:'4.K=c~SKG?QiSJ[,L %9cuHޫ VuE/sF{UEZb l?&qNe#H wM3/.7bE:ffyF?r +&`^ s~{MEt&hwg}T:xq819-AUx3Y(IRl3Gzٳ\\.Wօ2eoxx$Z_[J{jG-c*^l *0)dq˸dN4%kOA4 S+,0(C HN$1XݱP3Ϟ?7zH޺FZ"[9Ng.Fjg §>'{QGVe 9#I] 8dtTJ"|(`X,ЉE"%-^7ϭ0]+W|Utv|n.m *41+Օy!) ѿ8b[Uُ;Y]{i:U`"`xɀlvfZ?QG b7#O)7FJ8t/5-M)"36[X#\DIZiOn˄(?u2ݗ@;풁pͣ*E捞ꋒcNyΦ49E^P\{fLIre^*rLe-߀'8A]@6g10AG[|ڇGiqpYSgj%U<˚|żwQk^'iRk;Oh,ewQr?֜!T)pEIq3ʇѥҳB3LJ _x_vioYHhS%;-4Uۢ]tme4+G !c@1|X" MR__z`J,-xSAg4\ϣdY|Şɩ,$mzvh^b~8bo\b"TF'Ң:~N@Jj,iBiQ=ŹwՌ| x'wD+^gYZbfacb866dd6af1cd1b1593229c7ce27a563329654b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 87c046ae46345ec50ded6c0dfb6f720da4345c11