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 ^# 44| ] Shivers-CFA:threads=4elapsed=22.250cpu=68.736gc=3.080factor=3.097zXZִF! r]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&VL wʏ6|ŰNjpg{a1W/C5>/%D vMtt&(UſO*ٴ0i K$,*IG'Kг:;,ü< oϛcᯗ0q1UU8K_C_Tv^#R>xGIu͗^~ SHVeHQ~)E3J\*iF^D5/E7xĘ cE:59'-L! TD{P꿳BC%zzu֗6ϗcĈ뒕bq&YRI6x³| Tiߙ,Ml5T#0ED36=7#-qWRi$/e=hŅ$yBs\rX 6~[^}q!Ԑ( _ǽQi-`Җ&u1,X~ W.=#P)H*ѯ!-ܞ&ks(봈~zzSePq8VI;$g@xSv-.1ZBn#+=FwrZO"+Xe8,VN_fFe1NTjX8*9VgYZ7zXZִF! QS]ŗXiɟ1˦rnzx <@0+gMLd.$ѩuvԽ]XD%L, VvO v }bfN[6#YS%++,%.A$k@ۯrҽ P1vvEG0$1H}aPCBG-ax&,$x;qe8[.z1pkC3n!)kN Ia1Y[H۔!N<Аy& |י1) `شh -Oj݀ƨÓp?PP)͉3^-S{|rTZĥ 7enzxQ N^ɸ1^_ق1f>Lz=9Fxڠ=t`3FP^x%U\.[&}VL)?~':&u2GP=W qjJjѻ%"Xi`ޟњlıMblR?|KPb&aoE(5ߗm }jT{ hH՗`dlCGĂwؚ&Zʆ8] [)".˅e{fcV#0 -a 4J j-%fB^xV\1QsnNAT()Vo;W)8~}bs>>YO@EZ~a :M^obb{VMϾ?2BXVs +4ie]('B6^ E^6{L¢~(JQ!XU\0ݏ/&o33G#Lӆ!Rx8~ 9|+^+ a 24]$Yq"'`~&ujQ41"; yn dso\J3'{viSgERॗNG@`gCt4{&'[t`1aVJ hUt7CpT)S%NfRIwMWwyw4Rƻ@/B륪&y1I֚4#B5oTȢ6cPnO'(1ϒaT1tSj.5*wAY{ccA8n3x)TxeQeHyпo'F;wPzp@a:(a(QHl) h9O) hl#S*?W2obkDW$1o-+ԱEd1dlLFEޅ^ր]7anf\K!CjJyC[5:({е >ڐ^&zݪmsn۳BA&~"RA_ &I&A4̮Z>k[3le(76ݗ/LASϙm'Jf:fr$`7SsEQ17DK;[[ U¼7xw~澳HW*̞ј `t~K6QJ 8q])q^-yG?`beY( " m}LG`)ձgYZd4ef240e5f57b3622cef3ab6d08388cc0588ada578a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 9cae5228e4588b9d3309077fedd4a26ad6b21247 # Shivers-CFA