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   y/ <$\ ]S Old_Datatype_Show:threads=2elapsed=12.064cpu=13.704gc=0.424factor=1.147zXZִF! $]ŗXf1-/6vR[]u^O0rv/=J&q)s"[S{ybks VФpI'F1dA/)%MI2Dס:u"xłgh 63HsB߁'Uz4$K[YC}ϰY}IP pgAo&fQ7&ہ 4NstgYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslLx'ӭ*CK ľNH(Mc-B9W+[v4h'6)@Sȉ h]%,W0Ș_"z$l&pNg;U6`>-igYZ7zXZִF! ;]ŗXi%;CkRɡid`ZgcaA;O5aHo, `mY6--kl/,ہq"4E `ؑ\zS [Zߙ^ kRJkR_U&+0 %_H3tW/.y5U{YoZZ` %c^E!*Ww5a 꿼&Q'ñgWn[] p'Gӳu@_Hqd|$:-!7U D8IivVY?q1s%q#l-Jl':gkAeklK~%wˍQsޱ KNVl0 c1׍-(x+p N[pteD\<~~'B#7J#ҨMm9 tl=+@ :̛Sw6?9+I}?9 ӿ~=Z*X~,M;׶fy,_ryֹ*kqi}I#luHG#wM!!nM{b\nƄB~ ዚtK}*5l+Rew}n\76ʚjmcVw36L|E_B< b鰘s¾2ҸvX1M>NWXh[a2ַ-#Џ97&W,} N .ŷN}=lhv&4*ZG`al WDZyD5܃wxɡ  ";, 1w[ ۞zv$\+ΰ9َO{,-ܐʽ1G[OwO˱gYZbdea3883ad5b5d0ad07b2f8d9002a17b0fc9506ea70f3b1dab78f27422c2c199c67ce3165c51f78c f87e99c2e2333d54a40f2ebcf261012b052e5e39 70e4412ab49462e95fbd10fea3851da342668d9c d89a14727d4a11c442435b115efddca3cf9a355a / Old_Datatype_Show