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 V# $, ] Shivers-CFA:threads=4elapsed=22.386cpu=67.624gc=2.320factor=3.027zXZִF!  ]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&XRZ5xFxF'"i<'nϽ iyqQc=uitvLح|˱h;6˧ 6spuxwJ204PQml)R`%9 _i5&ŃêRΟl[6ܸt!x܆:'2+Q s .%^++PJ:LסEBr),7.}uWI[ m 󮄆JZm Wdx`PG =#' GlGwƴ'O}QOpDsgfV<#`Uy.~ /0Z:I7h?e_4P/vvb8!ostT_,j8QSF,++TgȘL!s !ՇAt%| J›\+߆!n1 Ybfl h%ENn+ P޴tѣ W%RNS*z~sG0R3$ <;8u]90W @qs)4lC7*T&C~ Eope {t /=oP +OpgYZ7zXZִF! QM]ŗXiɟ1˦rnzx <@0+gMLqTZHx(BsjqqrU)?=)qL؏ HR(( !D4;U>֍v1@Es` Ga<,^Rsyl]tׯVGN' ^!WvFDZ9\KhAW?+gӎQv+ <3ĶسX٣#PLjeZاQ^_Cئ($}-צ9kEJgd-"ajjtA[!S] gYZ7zXZִF! ;]ŗXi%B:g_Hx'ܧ5**KX+.h|P6K)PǏp$r"?n9[\UEo-doy]-AtVږf[-/*铜 uTpAZj}C0=۴^ ſu5^{8'n=00b>cf64,fo#(XO }"_K6I?C7|;x^h9 7x\ЈeKB. %rrJncsgjh%ѾOӤɨri vh䂅 Q(}[tgvh0tP/ɺ1TxVf5K޾XN9nQ- UHWѮfhӼljDt!S<?5 N5/"lǀ,ŢN]HGs$a] `~﯆g9̰x_=)q;oxVw=B&S-3 h㦧"Qelm/Ye OB(;5_Ypeu-,umظ%Ccɖu+(4|uc.ǻ`J8N]e#z}M=:/h{Cd}~%R}i;Be0lMRL&F:.[[0_m~~o9%Tǁ_J.l}zVfCT]62{\P8#v/+L4 *가m$=[]= }e+X0nS%B 6+en9hͿ2T>n趨Unbg* 0޾ Ӭo7_JS46*9ȰNAHzž#,P㰹CۄBJ~O\R! [6QHPR}62RԼPr Z8( .'S#\,8vfۋ(̤G*(Rwwh6+ϼk QHܭ0R\22T8;6c`{-VV-LPf;"u 6)/\qO~*0@)jJ(Na4v{zp"#^KISHEA;MXX$O;%AfqE2(c,6J.p&<b;2ϴd4rE|i=gS@y7