SQLite format 3@ .  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 kk# 4| ] Shivers-CFA:threads=4elapsed=23.118cpu=71.672gc=2.652factor=3.107zXZִF! u]ŗXf1-q恈͐7ӺV 8'r@ʷ ZxTi>oiTi=78 od&Y,UkOT R(RWFڭd-4C 'fv+d:GPGp@]F z.2QŅW~v剸Y ^gd֐*[4ݥqf؅U{7wDVyә;]R#:NJt=_P}r]֬y\O0dF^8ذK<~B҃ hh,@/"~ZI VfiC-aǹ[2BǷ3*s^$皧 ٢x<3-Ѻ=ULH9u kĔR*f9ڒv? IN$Z8OiwlRt+;AT Iuhe҆te3dS;+ɩx&\qRp{`uPWRg]54=~ q^ףe Ipp~d;7OwWZjrI\Dvl?!*}OSV) >uNv|lL"Cv%\I>79=G&%k c!p3"=JĐNTrBpoS!.S$3m_ -w{͠N*gYZ7zXZִF! RR]ŗXiɟ1˦rnzx <@0+gM]O/ZrgA:h RNX^ɷt^2%C;,M"A33X>9HVՕxɠŁ}|tBpǥe; fnD\啊ՙ3?2n=O7̊҄s~?;U Ѵ]5L^ݲ%3_J!Ƕ,2b?onDy7η"pﭞ4jFv ]5\7Odp;fwK+ytz25ΩR` 6KIlHعy)gYZ7zXZִF! = w]ŗXi%Bhx!ieV}wCy==}v[RfETx&Uҧ1 0$T_)1ퟆagOMmi*9⭼fQ@̡{Ueop_pI.DN}اH! vr㣢O;5i YZIoÃ!h7V>)&*e!bʳ2A'v:U?3]ϊ S_w &6>gkyMQ3;Ma=5C;03M !%F&Ю=8PX=|ʍ*)4I)a*^3-oM^Q~B 5[0o!$_(hYl(>/w᥀>*o qF:ҀTsVme4AhP(#GHv =IM86d˰S%I\ kB[m{wL,=f`uƂcI?56dSY,֯} E1{ gVD!ΩA3]Y2u؁,h%˃?֍OlPnJӗi-z86_-R Ń >lqK-ң)VoQ%3eOڮE WE ar虸 e1OoN0? <*7hY#ߧabj9M:+Xٴw To_GO4ȕu<✛S,U?RYmz׋RM6 c]V>,ix!p#9(MHC5# dorhǠN_2"ׂJ8bSQ,6UPjBjqDer㟮 {L4[>Ӷo~hUD ̸+bq.ih^жئq:q*~'j$(xER inY^g W:>vuNnJwUqA o>V~|FJqFyne@xjS)*ƍ}!fslסguc;DxhIstWe! MT)!fJ >*׹`;wBY,Uȋ;ac>^BSι?F ۑns3"ӟ3-y=Cڡ 01-—Oӥ;'k1d Gqf9@R@R+\bu>gۍٴ|6K܌//DN(R|(i;N{&O<[ȅow69"UrHĚHLRUiN\?IA& ąj<|s Ǵ_ö&H+l5 י* (]Ќ,'1G5-exxT߼Zi) ڳV#\f[# N&UW9QcTA`c5.Ur8+TC: (&Q$ is,?F6_aOs~.37r3 F^g`Bɪu0d¿=Ȏ=M2[G lIc|>#vcgYZ102961472cd221dcceb16b6e826ab64a3e8060943853cc710de37a8d8ae8e2ce10739760530fc782 24be91445dfd95ccebd8630650aef4cacbc92e8b 9d45b45b04770ad8f814958e40d780ac8d52e233 # Shivers-CFA