SQLite format 3@ .0:  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  T T!1 L| ] HOL-Imperative_HOL:threads=6elapsed=34.523cpu=81.040gc=2.672factor=2.357zXZִF! .]ŗXf1-q恈1$1|-~xjC@c+幧 ֠|hmx]03ۙDFøaH 2KͅJRϵ4D4Mg&zsьpzDֺA3_+OVYrԲ^+9z82R@B'|yddv=lI܇Ӌn f^|@%-1q-55Ov5%0yp6mߋ/ sh?9~gv#tlYi}5sۄNsԋ& 7?(CȆ[-",`WYdgEZ-e̋#[F;.hnH:f3 MM!t%s]ZʍzFOjsl uk؈/ ݘB Ph{xP!xxnTԽ,xvJ8Vqlg8p ]1|Ћ٘+/b+uִ ȸM1nC ǯa z^CRO{m8bwAiU4?qK08Y|u glq8qQg&]Hn'&1b ^S.cH4*1ݨQi%=ߏ,(.  ]2gYZ7zXZִF! A]ŗXiɟ1nhЦx"n_8N]( eOtd7jR8+CtA^Pz4{gi{ ~ N.jޔ:Jv. )XKe@=25422\tJ8: /!Nx@ D!lWsa4&|0d2Sx0/]&aLcE2W\"7<&L$gl'Wtz*P^q6o=tD5 ;RP:fOO=HgۥL&JZ~*'Z `-آӕYKfYcIY;H}RX 5gYZ7zXZִF! ]ŗXi%G=/lYAZ큷.K,T]dNIR՚ ]$)35poˊMn+4N ڗT`RP1)F=:&~`i ' xc2Wј(t <Z{ $ڙ5`9IjkwN(a]GҕlƂVyvSKDZqF(T>T(U?b);t  K`SS^GN/2 W|J﫰U*Oi[:wKcƌϢNX<,6OWGGw^4ݰdDљ CJ'F]j֓cڟ7-p6'uG ΐҰ]_-By,te**j<褩S`&N8^^(D} amL*9Wb'`ʆ/ ' N#\D ;Tb\JʫkCԵ\SOᏉ›&8t 'ܨd8ӲfwsKumkL&=R)  E;~=l!5c$Uh\:8ꝎH"(x:3LcaRx" n{ѻs\EG٣3ST\X׀dBgNP)AܝQe!O .$42jA{}&ޘԏJMRlˏz닷>\Nac .)!sGIy>..♀P^3̎E;lU2؍QP)sҳ~8!c3~KxBaL~ȃ=SR8i'wo&v=RIOr~90Ѷd6<ۑzZv<,akؽe*~H9@9HOp k7Nb1Z՞[]%]q+f{ &; ɂUe/҇Dzcë׌s/mFt?l:WЪ:򩢧B%\q%Q^fΌϢGs_;J+*ǚӪ~]F͊Ї^KkfO.MMC=IA+XYӁya~[k,w"'7%གwSƒrS`g)Lפ;_o{, >Wӗ-LCkp5j/Z3}C8oh>)] (X'HX6ڼCJ W+ra}Pe5:hZI'b ]ZhL_$o g)wL_\DX8 h.ޓ+BJM)JaVjbTɱT[t"Ҡ]ɓfnk rU$ ײF+˩G0!E1=Aw4۫D(^ !nm |IaH=w0h̀Oq70ED EfpKtsS's"ůbvRHvso$ sw{ ?\3oR{*17iFNAs%<`ƪvwb;`7'EYS 4MZ;Qز3y ͓:!UNVA.)s*8;k?x3kߡmg^IU*%u[΋ !f:u"/wZ33Q(hƞ^ݓ6ɨf rM=VwC6<.-d;_̏Pt1_338ɰ]M. 75E$D!D,ӰpnɎ?Ҕܧ?AbNf~#;ucKdd0I9Ƭb |: f}T.#_S!۔VD}Z9ōe0QDRt2;ѫ14،(o+(qL5: l,"08eH} hKS M5d)oߊgYZ3828e92e9d5b91bd9ecab7d6a4c9cd578418698db051f2261d6f88c03646aa313c73a7379e29a659 7633af7870dcf6daa19ba6bd207628594e3663e7 48f356fb57a4f791aa7bacb846a57ecd048f2eb4