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 b/ <l ]% Localization_Ring:threads=4elapsed=26.592cpu=68.352gc=1.512factor=2.577zXZִF! 4]ŗXf[&!вIփ+LPuD^>xapFP% g{k"xngv&_0](y24\AIc=BYsw xf}$s<_k +=%E9y "aA$tB}b@ڶnwO?\C'?oXf PnִV,kbyeL^ ?CmIOop*օ"y"n!W/,Z0y!LrSXF1o9ĭض / Localization_Ring  OT"B#LI.ҮKPp3KIYT 8Η @SWfRIiQh&l女x2K:%Yrd#nQ;|ٰE2@q 6U.mu9WgJ/@!E85y"N=( mHPE˳e[ߛ6vݤ؀LL]*Cjb ~ӎd ?Q Z. Tz,sd sma$!|B7~۵zZ^@:yB]Vn } _bK1Z)KB=LS/N!; W1y4ZJ*Y"7*ptU!'e?oہC1C4wtLK$E˔M*.E'ITv2:OT&.miiÖ23,rdfIGqzWI@Py2m X3LNͩm71!5!|kd bQ[L7=޿5:9׈4`<+;"q9C[ IʏhYSCfzX&YU ROWWN8u` EeCPil7FT Kn\k?V;d`D/10N ]obbܭ,-9IhMygYZ7zXZִF! RH]ŗXiɟ }#xLG_^ }@}py Ӕ2O_.{`V4`zfl̵"Fwjn3 g`gOOce ali^inUO=GVwTl* $\jȤl-goqhM9~ZX<D4Wvt@%»Vz=,v:_E?`XYd_||&8)dH%i\>O FhLxdw {CzvO,!| M_0}asY(N֢gu6 =IYʓ;Р>~z3OзYm\aXvG>[2L/:gr~#V8.fvjӉ+֡`YٲZۛ!CTxF^9G$de.ghY ȕڳbQָc* 컚,1Ԅ؃K4fu<̢`0rѢ42TIA $7VP%5^jG8;7kK^5Lo'/+G\ϕ6 p(v 3$VRMzgd!>_ x$=Nu;^HE3V0Oj :6_:*1:$]h &| $fkUjKz2|6$b447M>YUJd܆)YDЁXJ#PxI7d6J h8s HA&H2^k!E`߫?Xd1ry.$Tc`q.=P%P!#Q?GXWmQTXN7Mk.DvBxi{?w æjST#:WT7 vوJ.VetVmzH.!*fuu/~;_8p本b6uA}>Q2&Jx\xHpL ,+_E.U$c'Hwt<: >O]~$Lp 9HVNώ3%^oAn'} !Z0C/ߘ7HK䥂3 :Dg aG׳:}Q< )V% 6BVY 篴2zŃq8'/g^~Fe:&,'ٻm:D A5s硛%,C=#Yߖ qٻ8фXkrmE4XCnYR`#kiRܒo|5{ߚ+ç?8Q8Z/aH4a{|NMEpt䛜0az&W_+ q^4MZr^Qx+Fw[& a_+2tc8>J:4# ѠPdގs岽|'Ⱥaˏ5Tm;Q`]UoyUN\LzR D ngpCV2# +[=`$p%荆tvLOš7R/tlrwfי4hCdžy|BC;cP7,RiRjISK%=IO^7ѹ]v`褠.Ҩ) ,SUt1z4!*-~<o`Jd[]":1R'v6TP9 {_dx^۶ H hw: 0|,lr?FX*!&0ZӿD&y_Xxzhf3ʭ_2aokq{|<j)kն}>: RY,\7r8Pq(9 v].@?c1>q=۝2{x Lx+DdtoYC:cv;gGĕPRE6ZVM