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|$ ] IOA:threads=6elapsed=6.783cpu=29.916gc=1.016factor=4.417zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;KHJ|v'Ew@ Ej,{) &.(p־"MrK k82%!"%$ƌ!9.;jÞRKVb2N֣6@iO"E㌛ ZA:yax(0ㅡ~ęF Vsd=t>۱"J㓄Gё~5mVߟyHE-yr4CsF 47ww\ca}RC-3_NM"3"W\4$RĆN DejehNG-p: |]֢;4=Y:)_%n/ nY%\k eaOzJDkSesZ_P 0mƪh;m­WI 'zرgYZ7zXZִF! `v]ŗXiɟdN'LvH۹j}%Eu.6 <%Ͷ@el68|nɅ$Fy/jBJ!w[{t721oҩ"Аd g8`_t1`ZUDoQJm2K St/pBlD+9c0=%> zP44m?G7.jpYł/VKժm@HoڬF~N\u2R.9ƥgJ:/PS r1 ai#3{=w٧DGj̺$1k.48%?OL=;rh~AhqʕEeQ'/{rSӾ&1iNClV5 κgYZ7zXZִF! & ]ŗXi%EXGZvhh2;LR̡&WaN!bw*|dKٝwkJ}C`5.uQ<WWGMeχ/EW8ScfhdnǣlF̛.L [A/YmG:PMdž=2ٴ+,sDmnk?"3cˆx~OUAD6#lbCiՌo" `_ P5XŚIVrrbggC2V-Pߢ 8V!H^Ud]%S}ʼRb%](~T~[BWfE{ a'h m&i4KR1(P5#]S &z,?ʏh7<ۡz_[}-Wq[U?_bW?i/J!;_WuMEO&RmC '2ְ{һu*[^}JOц q%9XĿlSUy9&uQ,0M{׊M;ID]/?> D+[){Uza VljG!E.~,~"^H $AG5Sz/+Zp{BNQ%&#DJ2չt5(%1iW ,z݌ 7** 4m!,"| C{\lg?(U/n#k-mDTYi["-XY m;KS;bT_"Fg|qq'Q 4RWE0jx#6xfާ~fب#SYb(qD&{ô9ďCh^'R5)LlEii&\^MEr { {“ۦ;1Ƿ6J:$oј3П-rkIr'RvqȑX)CfD3_`)-6\5$ߝ٩\3 >MñgYZ65daa5b88bb345a6c9f71a3341160a2f57bbcb116d4536567a2d054a471600bb1a15b22f2e4e18b7 17ad37aa59356dc3b6833c64a9451d5e4da1a182 726dda30e0efef70e625c1bc80ac99d519bf82dd  IOA