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 \ dD< ] Datatypes:threads=2elapsed=49.084cpu=70.972gc=5.620factor=1.457zXZִF! u]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$xbDH{=}(W7&Ց. dK 66+0A'Ɉ]{*'8B^ ^BrgNlEgu[=UL6Ye c~R9K>n0m%B?N(+Y8_Wcx3y-DpsUTI71sD|S"UU]wjrh0 `0)tzi;֟ cDnq5q1룤aAmg ^Rcۦ0&GiB ~9ḏ¹ת})j]Mlc|04[醬6\^jEJnP0IE}KJQ8lhE&_/0J>gYZ7zXZִF! []ŗXiɟ&zLoZ$ǮY5#m0]Tj[mJY6l$-oC\TI2N{[&?m// m:8>Cpѳv١fxZRVNDE{M V|I@k&F7ɶɦ}4&NN8%t[0n Lü!xh4a)^}ŗ 8- 腊[j zl8NVFi9hUXwnlsRzeδ'cѴ˨IF>dfba)5'%v{j=qO쉜֌T@g}@d\\vbg1 KԌs=y+p@(5KP]X i "`H?(+ y{ʠ|"? (>\KG&֨>>Wavp@e2P?{5t IS}hzO g# @kAΉ } c\ʥo\,9Y**uH7.,OC37 2 iq sۓŎ-c1BkӠܓ>gTfOOE}L;m@!A4 8 l 0) io3d9)QBv<(9SfXƦ֫|2f.=Ա+3ZƇI4dӝ\YsXWzD "pJ@j1^d เFM~]PzFZ]LGU 4o/4suX&+Aˏ +ۦX KpR%~]-꟱W iA|!B"Va-(.^ odu$,IKtI]צOakBg"GF TsH1WР*t7jS #"[LZ-"_4{aAL[KOȓL˸`e ˮWbl@[^g֮mX A>N1Yd` x[?l"CLк$O<\gIyu]\PțR-nUVۣ`T֋곸%Nc 'Oj*g .a@1t$NCأ=6Bauol/C]+`^°A_vO*T"WVIony Ruo~֡ջݼ9D0umUR\%JxB{FctBpzb:krUK6W #Ac3ERj7b,&1/7ͬzT1\r H_`c>Ih_KgSt:in vu/_r(!:ȉ+R- Wݩ Syb RwVpڧk c:K8 G[%a:?E [l8{Fw$ + b- >V#+@_Zc}j8'S+-}Ŗ׶Ֆɵ)B!3?Yf'ѶW@GM"Vg1x48Km@= Ԟ8&Z@.Nwc2i˳.k;lY.%:s&Iw7aCh,jnII\nY(HI6]dIy^y b +7rO0A7A4O2,#wQP IۨV}]#+䃁|3셾V*u.r_#1IM/3ء:#CԨ28[(a2_F*%\ b0gYZ023b2c27ae32717fe10f050e994e2a0a51ddfcb3d50d23da2fba2fa66eac370561c930ef78815f64 42ad9fe34f8eb64ea2663c9e76a55f6c21a58507 2877564e7acd01abf35adfba190c1e8503a3502c   Datatypes