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 33J# d$4 ] Shivers-CFA:threads=4elapsed=22.097cpu=66.116gc=3.088factor=2.997zXZִF! o]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&ÍnS-j\׫'sA˘"l:1F0]X2sS!2L:V*h6t+Ak,%K8YkV(:68[8}e!dZdFe߯C9޼~r/~?M S*Ru,4F0hMVI>Q>sHuK^eCo=DpmRڔniA#1nbifŵɓo*\ `ȶzfϒ[zCnX '.>b :5x&DnekX}_@zn_t+<xsQ2;qcWV[q&;1?1?ϴ1feGFBh2s P*fG rjBt//h , 620f?Nx=8,ͅ׈6ʭ#9R ɢS嘇ݡ{m\iMyFf5`n X/WUTo[\˔SJ,Q!߇Z+ 3l(PgYZ7zXZִF! QJ]ŗXiɟ1˦rnzx <@0+gMLle#.3$@HgA7_4:v\CYIb988%1itP_dR VE6WڦkP`CGVJ(2O]A~b0//ִwMBUzS!Yo1&V;p)*㶑amQJ7\kШq/͇2}.["û`F尪5:?9fS%M/W TyšV]1oWj$<g_gYZ7zXZִF! o]ŗXi%G>"Fp!'uxn Kxy۾vi7u%D{&yzP- L|ٶ׵:zDJ$<јm\/ψ}RXVВXd' ](xBsvvQ.GBYʵ4&''4 ދZ=7^{lwh(*iMc܁q0)<p:Q6Q=.t^R+q{iC!Ƿ/WvۂUzbALdחq`q/XPNk@Z6K,tD$!E0 :T֟W$,eQƲ ="< mTF֏ 9`,ػ^kx ɗp+p?*#"Ы>o=b뭦 ޕz Z9 esd#}*#m7.Vڭ#8WGOu)kU(!D0o7pz,^tt)xaKTѦQ@[.9_rG^mdc|.+z?ҹE) Qʱ3n[H έ{d )m#JkJXOa^3^6HdVlpbaܢ`5b_J!ˀ2$Paep-RIi޵p掊ͮuF% jdBtR'J튟\1i8] S`hE|D"^ T}xS e,r^82wyq*0C]OrS#h>)o:ѻuOq5:Mꟑ\ZN!c=gocQB>#, l4ne?W"(کwuK``"hbs7z෤;r:B/ WHazhM&j\:o,v*w*ص^\M1}Fy1, 8~}Y1^ }grtoը$-rm'O>%uGf68iu*[pok]I6G@\oJ&:ћ׀F6,bVrufI_.`5xAϬ5sw:d P!~ZdM5ia#z 0ù?H=9)n !bMEI(c:DO Q5U2.HvO $'zZaN擜\1& 53R83@eA鵊%P&3*{HPuǂ#+O;< ̍^Zkؒf*Ž{&)t|qw wjt;wE}FjUfS_kW!}<vCב*- Hךdk6B,^o{}7'S.> Yԙ.(V CœϯA{t-gy8(:!XENL~X-df+b=/ ZoQu ?9 ަ!X-z ;97XRe=t7i䨛\(bF _ր"D /gahTڻ .|;y]@46dVS xA#ǺO)z^sj(/ISqbB^G ^>ؠ>5;4R1D{'ʨ_/JHENm;ʵ⥼)A\?`v- \c<ݎgYZ1f0f32ca8a3acf1364c627ba2937f0c1f9e776a54e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 4bd6aedc7d04acbfa28755f154cbdc648e812c5e # Shivers-CFA