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 hh/ ,4 ]S Monomorphic_Monad:threads=4elapsed=31.115cpu=56.632gc=2.680factor=1.827zXZִF! uP]ŗXf1-q恈͐7ӺV -O\9p)1O JҞ.m*`B_LSj1Lv]rkr&@w( ?E',8ڡJ4)YNPrM>6R?k~(Nq3T;OqKR5\i䨇=ur " G*qw+ iL/H{U9E;_X;*[5n5  ̱gYZ7zXZִF! ]ŗXiɟ1˦r+odo)4ڮ@Ffvٍ1ú~Qu d؞Yf  r.J[a=Sh:c 719UY:}u.]+`WbpeZ;tO2vB xeKX0+7bIl߰dcWPn13!gV}ygYZ7zXZִF! l ]ŗXi%Ge'8CT |UPr anư .6bM![2G^cH8HW02n:uBxeiPd%{x]Xy=_!~2'2eX2ijڠ ɷG@3ne?g3W( [<D6M%/VRٺႪߨ&sdOIzIy V &-nP.*QjKr Y,mQYU+KWm3l46?뺥Up>pr%M:+9!~yu)uER & '%ЏiE^C\6+X7>Nkl [P#XI1@bT+S].ރ@_bGض(UAʦXA~Y~ F!oZZ;K@P`'򩍻</&(x:>YUa2@>zrbC̱IkҾNJO e[7?>%9)4vp7ǙX$71H [1`S00NGȰvhL<49Z0]fn *ip?-6+E*:CR7nӆϑ!+Mm^dyilUK4<#KvzlR]~ by4Ev:TUk(G=;G~sfRcs*[9>R^ 5 3cqDmҵo3C7seCYny3$v~R۹qkl7BRzGD 5 BN_~k V6,9Xz4ڙq.߱y<0<] a^.2T^}5!@ =ޝ 'L{uAIBJUrNV`Uduzg˿+i5p +qm>4kp rG6o'9jb8mgB01^(!pANj>oEdo:8吁a~)!KuY*; ؒq>[{_JD~kjl;&ihZp@ pbw=Ku&S6SIo 4tf3w ̨rL|)\Fbf=EYT]*IQQmFy( U*yvX䣢Dj g^a[0%|-  %7yNDكIPrzˋ4PSEX2_ VFsm=*9ұO=${m\ ~]So# ]/f"13jXU`?ݕ\ŪNb)xDⳆ=s$H(@_C$'7$p$Q~ך*Z8uHA0hVc]0ԡ90O]$|P+,