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 9 ttD ] IOA:threads=6elapsed=6.996cpu=30.720gc=1.064factor=4.397zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K(n?hV6.5Bz8tjQVB n94MceˊqȂtsܻwݲ.Y\qd$b^3+_K.gv|1S]}\Nص6,I@͗CK6;\&T6S]# E7Ş t8q]M{'TaNY>!x6sV !!Fw m-v#6 &J4x]$-Ϻͥ[A528Vz^_C.|pUdh=vjGjW!Rg+Eӻ|OѰͱFY@Q,SG$K`@sݟc<@@3Q K+1IPS"P| }(C ;wߎEFZٷE%ݚMjpgYZ7zXZִF! `r]ŗXiɟdN'LvH۹)s}%M`.!>SrM笎|LSK @m,dZzY BcUb6ˬ rb``Jiǚ-2RL.ˢC]̞µM8"XwBVͰA8ojǑyu@ai'u/>/nahh.x8'W" c"Ub8^AKtSՎ R o'I7[@^0&PU< ߺ"8q*mngW .xñgYZ7zXZִF! ']ŗXi%B[ivIՁ[{;,F$Ib1YI1>4YgDj:>sgg2o1V'F1Xy,!}<4'S"{˝ zmXj1hL=ك YO wϵhDF&im49nɭث -OW^Qv2 SRf8^:7)63N2w3uay-uWcҹ ,sO  z`YfCcAߛb?1 Naǥ0Ƃou|Єs+:w&w +Sw_,gB;:*J|EWP lyዪbVc+J\/aU:쒰DԬ:-ꂢJq1%x rRɇG?Gd rb8Zjfy;nʆ|IxmwlW:i{~(5?;4dHzhp4D^G:]/LB Mv#-FXA`,#OkP+Έ YHM«ܕӅ$tbvw"i ViQ22 d=@MpAZm!n큭I$ L ҉'n'rvc&51N4{oN$y q7la WH1\#oు!;`嬬MaKA\ 09g CA/o#XDʏ>t&6xmgB`22$/E+e1qId  `+R} BJ4`: Oi\MXs񻷿m{ϝuU\,2/*]{{NZlgYZ3423cf3a12e464f0481a967b2257e3498af5759e3b2e508b2aff2188633a82560156c897030a4024 d978af76c1573e6af7cd36158fcce388a4145b80 40ab3283119c9e32f790ac12e62537ca8b15f816  IOA