SQLite format 3@ .;  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 e/ ,$D ]S Old_Datatype_Show:threads=4elapsed=10.398cpu=12.532gc=0.336factor=1.217zXZִF! WP]ŗXiɟH)0%oBZV7S*?B%(~/_G`$qP%3 h}lyiE.ӛ%uUgDO|lhI36cᴕa#w軽@@6iR"MُytmAҡK+:3^YCՂ߲# ^nytIbGm'GDq|S( Ҧc;h- nl-7zn}iOX\/NƸ)o~cg("9s&QyךA=X|` W1Є96&4W7l%HTyh 8˵^rOI«}傡OS n. 3KmמQO'vky I2`Jj"8\Z7)9 ΋uBM;Uw-X%Mȑgp1"ӭ^tb.'w`p0 I6EV'! <O52D;q3`E*rKG.:(yNh8Zw% ]}iA'V)}RF1cCcv=$P#o&Yip($ O!Jr fbص-cj)A4)-AÓKD#йY)4H gw_'@:18;˫C8ߘD{F9聻 iwj&s'bu-9oa1D'_gFV iSGaApU2g`oRD B?Wy+&G@cD d%,*rkj4'[{F(yǺ?90%eńI"U%>(id%8Ye : pҺgNEw ̅ǀŁ6pS+M&iըI-h%ZG.kE30x(p0 /?ݰ7R$))3*zh@i"شQq<<[IB ?m CQqɆ~Kfrog X:fեB#X=:sqƩV;vxpk,x#7&o?};1/zZ2V1 -};>uC %*Mpb=VZNQ[pr/voiu9E8|&sKeQt@ȕ1_PdL:I~CqGG3Uu<9˜!}Ak(_ e.gQ-)ΩxTܝ+Ʀ+ mǢ;MQK 'n8>>Qc#u<ee3pٱgYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslLxΓ 3(zwx-hj[^}t6@8692/U $#H*"^Ep̡8D`O#q+e?-igYZ7zXZִF! <]ŗXi%L!l/0gLnxl./;i !cYVdT5g~;PobSO+נM52άζ[XL^OC i>4Q CgcGޏ OԜۀأ.I+Z |.rK?sNFTt,1ɇ `&{w 23'-1vKI Z'"tmG~i~)s#QveB:\-M;K 0ZnAu9rhZ]- 7>lu u65Oj]!r &4n31 iKmԶ/5b^(A5 gYNWJkm yXjgYZ97fe1e1a8b0a131791921b208a3fae4855f330368215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d 729b63875e2ca86b9ee79b9b9d39531e830dff7a / Old_Datatype_Show