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 i tT ]/ FLP:threads=2elapsed=22.226cpu=38.708gc=1.340factor=1.747zXZִF! (t]ŗXf[&l @7d|ĝ?PqF.R+~*as洗V{S> PG8oC -f}gSȧxV*UMLxzՍ#ٸMZeH#);xn,A.R ֺEω(.uZ UlյC-F3 ò%ΖsL֦ٷi{J̦bn^.K礅6[OLąpT}mvyAb )&X$u" ֹb*?kX~U;l0;ryL\1#P3Cӄ:9XarWh /IpmO4rK,.-_ B0QDm%ϓH$]gYZ7zXZִF! ]ŗXiɟ6PSוuF3J"ᱝM `X/bKTYMvM-/ƺ@-<0 ^0j2\<[Wj?7gU " ͥ=FtWIIMH}ܕPx+E+2lry߂D?c'"(sr~4|S%SЍgYZ7zXZִF! }n]ŗXi%>g $̐]@ ~٫`Xؘ!b*.b^s4&8~bU佲a)gy/*]Pnl!<Vo/SӉ~[U ˼PNEU`~_5X$:Ogp nMJbi{~M"M\V~61[;UjA!`C"OW.F2m111ptVQR^D?%η1[ZƣzdVQ}8ۼrx+3B%@QT!{Js=C@p 0񩎽}9O$b{a,Ila ?38]o,/ٻr携F5L dF^)-r,.6Ù"o+EECq N[ݵ}$GUAt)K,ۋ4#۱, 6MWM׾ق9M^͋HAJ)qv |(qe!z9S(]V:MbD0q&FzHȈIx|@|q4uj-牗U\aQQԡʒNt-yAU+ ->TYMz>h"y(p1I-?H*"Q02LxNGhdtkN@J4ƿ3 @1f5-3rcHTAσzKa+JkFclRUzDcOtU4Nc.#OgyrFNUo:Fտy&u*CBE\cTHc~/o5Nuh t$_߽6>VX }S JR=aى_T0XWXL<_|ȓ Xбt+N k:u33Y An·0dz%+U lo-w]y~XHwY}l^mO$ a\