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 QQ,pd|$ ]% Lehmer:threads=4elapsed=0.806cpu=2.768gc=0.0007zXZִF! ho ,]ŗXiɟH)0%oy vLׅm&Ԝ9IuLLZi&+P)͛Of D.|B6Kk8SΈRK1ofi֯ +*JQ̾en bF%FYA ImCemgP 4^&8.RH\xvkV($Dȗvy%ClwZȤ-o^<#@ȎNMe:5/,PLpy@(*|!V*u4QrK[ `צ4Ȟ (=X񗡬Vc8O$dU#gt#׭Y+߶bS y[m!.71] lTP!Ux9A<O8> 㹭>5,еqþgZKF2 +O#kp}^@M+J/nD2p'A#{5"$R@M Tvt@: _/6$桇u窋nh ý՗|,A!< C~%PtU# /3LV0K Á ŵBz{i,rd$$ҨaE i'ٝII MS\l4.{ɾ tjPsQ^ºc:RXlBPUEiQ33e>d*8~?g vbaq& 4#L4a8}HsXOPWuڋTngCIN{Q/3·!z.C5MAF,ٍ];5zȉV\a}^f>q$aXiGH*53 U0!/B^2R铵}oˉq[ډvk26@mgNpm]-T~F3T`ܜ _~$#q$!#tCEOh:R)*x`vM&(I=3 O &GچWϦ P}ƋG` B D,r?g)xg:u=;AϚ nvz*=m%vNρg*8_Z˱|YBнr1Gcʛ03hE%$ޟb3>hƻm3W|P3Tdz*lhҰn*Y Oq .[6 Xzo5IX+ŪY._ VP՗KXg3G u^@R= ^;z)yTM@_N ǭRBjuL+hya #bd6Y@2Ls  . GG/[RF! [hxh36%sh*QyZj_;i0 yzc@lیY6ekd!0:6gYZ7zXZִF! A;]ŗXiɟIPDOB`7"=/=}>zWB^M}YZ7zXZִF! I]ŗXi%L&ʷTAVMkk$Z$O0~t ܱx{6.[>7{fWK;aTdv}YZldž%h{Ǎqeu? jrmIvsg"c&-[=mY郮r̫r155m VRe$]iU^q~:USvu\7[lb!ٰNZ9_'(l6Wⵦ܁dLIdzW;O