SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 L |T| ] Corec:threads=2elapsed=51.821cpu=78.724gc=5.688factor=1.527zXZִF! `v]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$mk]ݲl΄Nun ELŻ"s[C|~ `A2U׬uJTs(Ykp`+f " Y+;pP![{׮|WV /Y܎L'Ur6#pRIS> ,l^ ןLxgJ-h]oY(c݁iCW} FP]zZ:Y B4J<6[$)F HSbsOd]Լ`'3 # =xWFc.%H:gYZ7zXZִF! a]ŗXiɟ&zLo-Bt+`C7קj\vW}`z:K'ȽK#O}gYZ7zXZִF! ]ŗXi%;Gtk, E8? 7aEu(k+dD,:+]tv9 ~~;}Qxѭ ~ɳ:{#A5)nz`v2X`-!eW5~_O1E)(m!ާό'HGF5fM蟇sfh CsDhIueȭ۟2,*D-<С,n+@-ϸ3^/X|*M lc&P"ɕ"z=dI2Py>w?^(rl.mR W~Xv$Y@LDT.U↸) Sz>b1-ՆJG -CV^ٸHm"H{/Q@B]ҝsPc8DXS;`-֯*4~tHJ9UvE>ɵEodIF>J82kU:x=ԟUVVUSϹĤ -i`=l,`ƃ%;Է'!5՜.)|ie] -ٷԐ' ҞH]jlK)wiYH$U\UdՂ֕evY\saZբYʔXhӥ7]z +&p<#GaM0:?XբY}  u(Ƌ(E!f'=u)t'ĩqECp#L;\@Lo'5v WK [tVApZOEfrp+(7o'GYbÖ86E2["XfL[C5|,ͰRI+Ny8T0vZj BigWUI9z_ PiuHbrY} lnX4V49V'ݘ lGF`dkZ]γ$ PDFY 4Y"!vUea.WT*I}nt3Q>ȇ6A6(5Dtȝ4*miG \]֩3G4rSrQ>>MīȂF%Xƕl;o܍l\,*.VW2=JFS GxoŶз08<͋畢(h_tߡ1S&ͼYd$&1ɒnDL mfb8>m 2G;L0 ]'؏ß Y~mM(J!bʨ`. ռ-$ ՟%WC(gaL#|Z3[ޟD7_tmj|Մ_K;TIԨC0 {RJ:E!]%Ov]Wu@!?KHU5~kbs`e{*Wz `K/)F~HOC akgnB t{TO-B͛]B Ê B.6QRsG Es3շ򛂨9ގ${d%X~rD#*ii$MG`QWHmyM}yOپ(]fDZC1qڪ>MxJQS<. )@h[Dބ04J<)$ _,3z 4MB D`*FV1v}r5(x2,4eZƤ7 Y˜2rnr;urZb=qJgz!@7Je;'pUbOv`8mJ (-&TJY 6 P:Wnp