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 `; 4d ]% Special_Function_Bounds:threads=2elapsed=39.502cpu=63.116gc=1.712factor=1.607zXZִF! ]ŗXf1-/6vR[]>hHҔB^Y1=;N~9-ټƨɄW.=(Z _XTliuHnw#YLg (zWN^D׎S]鲑^о+3yGf6mW}3:;G^2VIHn_qYCkJH^4 ,V;u ET$ 'P0I|+cvp68#fXYECӨTjbEV[KmC5{AT&giS7-ql[8E3 5DN jv֣*MB >/o%p-Dpmςk䌘6/tʉ\kz0䐼X=?wzŗn+Q~z(u~CCgrlU ,$ dʙr^ YjMqgzΏ!Hi M@@J}%6&Hq/QRB=8Wkʉ+[)ж)zr<kf^b]@ @Oi}T 7,gYZ7zXZִF! ]ŗXiɟ?հhqzD\4\y6V -iuKi㦦ۑ",d:>ItKji(۔̶q(,sT ؑI"u Ae¨SmpK? ~ntQxgYZ7zXZִF! 4 ]ŗXi%;341)"<JOhiHdP[fQlOL|sE*~BTRd>V]~p(7Ub,Edxn[k\y8ʘx@<az]_z#4$ ̣mEL 7 Kp2f8q-|e,B޴8闸7 2CqFhg4,EC'C.*b_;sD-u@VRQɧ <|-VԉܣU.L YBG[[eƬؕPG@JM+h_zs論&z"ńNoY2.k?ly'>IzD3/o^e 0pc£W(p(GnYsxOUy4Ruǎo״ID^ͭD!"I6PKێ8/կEYG < GOX \='ugr-1g 6Nc䗄 6ĸF%s8J 1`?NX6gO45eD* .VLHcZ3pZh;b_kжFY )MVJ2qM*=5מCc\Zb54jTXijGYr* w ?[]0=q;ashܠXCt iV{P!tv,C2vc#x-5Y\JH/,n=FI4͞~k6Msdc^U?k2,:/wfήօ锼r:R昦ra$Xs{?3ZJ9 DNnj[+؇dxǦGlM7; X^y(P]wChFptIg8]>',Tθ᧮>R캒gw7- (YV ]^ss7gH}-IdhtAHäa [~CUA5dcex)¼~$ '^r:lW٥8I۲ 챭^0Ùc۰ZR ;iŇ n_4: _p)[s/ȓeW~4&Ճ]~&0]iBTzB\&Y% cm:--^(|hRߤiDz}nձ _twDl j9=_V3='JnNw:uNӫUSj]dWAYRUL^Idpk?SR۫c^=4 QCZ4n>xINZd59V<5?k[sB4EU ~N#_ p8bi=#B<%+R"69` g6z.pz`'9D:ī1ί(h$8Yۉ ހ(^ryi:WgYr)`;/؃4N{&ӪC8+yxM˺g=#YtϬ&$TGu YxN4pSEqC1MM0/&u*-{LZA $<bWEmf!_gG~ULjiMާy/؁a)$G7M`HHa-.JUGHq¾n*]_*ߩ fs^k&6BVgCPrI L-p{/ό߁͂(am3,DWBO61nUyLL5NZUͥӉFACe Qi$MI2kHyЋP kIܛpe5^ωqRߔ4ؽӺ98|n`.1hIv Z"q \=An{ԡ