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 d) t< ]/ BNF_Operations:threads=4elapsed=10.390cpu=36.196gc=3.708factor=3.487zXZִF! ]ŗXf1-q恈͐7ӺV 1̗e&$W$!>έhz+>뤡,[>u:^Hq9Ir@O >s„鎃5)ȌɋƁ++r&rQbF h۴?$^,4t ;)ՃwND(fE*yfٹ6&lIɼ3;u\6w_mfzgt~BoRvawLp+P&/@6!6a"_|ĥ?KRU`d&(Ƹ^$ٓJwr~ ? ds+">R916^n}ٰ-j @IFTǛɳ(RvEY@Ԋu|D?Q{=i 7Tj߱K[VbG:mi|HdΕpl70+pg2hzl$dk q7gYZ7zXZִF! P]ŗXiɟ1˦r*έ=F)IZ9cB \T 9r uφcG R"ߟ;}DϧN<JP!UT`J_DNm.րU2(Ѐ3u3Q_zKSpxQ|FF)޺gDXQ$ ̟dxNԀx2[k\a gYZ7zXZִF! Y]ŗXi%Gc9ܓ=jo _aA]($5S-80/7HnںP n3uAzн(EGAjs8rpmLRkEt?ϭ]XlO-N>A;K &7,5z ez.i^!*ͭ1Ӓ=}`kdf-OXcU$q?I]J[at 5Y!th58 u>蒗(xbu{{z-:Ў/UN,1ڹ4Qϛ+:>]{kri~1ZT}嶫# څwBl3b/@b_cˡƶ~>0:2II7h/Oܦ\G]P\bwG^E̦'Q)hr+Rվ"*UI(4L(6a3{X$0 HeHJQmO! i%slP PvI;4GN VܷbmDpd+Eb&l|Sq㫣79Ra/<pqEBhSU4{TUЅ J89~uq07-cuZrx+K.:5r@`Gp,Գ# 59ǖ;$N7 ^ڋSg=҂ \ntGt+M3h)C9Zd#~(^E&HhNmJBPX@6ɖ95k[@^J4_Z$n?GivWQCVzɪ6|Q½쩏L-Yw"~+* FDNnR3tmōz,|voHr$/p8 ׺A9lF5O1]0N&X{4l9 3TV)|%DpUO>}W Dp섽Nq/)d 4z=fA5W`kёZRj_<˫JMO1Gy} cV6oz-9"녋f؎f[= S(FNKՙ;6fNS3Ϙ3ūZhk1ޢ6mm|v,h_~'^Rz8(0=iV =7I$9 #Bn{Z@J.|%E FT$8oby SQ⎓`ڹr R>t@%{bDf>1P=av;Po@&87,EQufZ  Nŕ^Ϡ>?abYPkrCYx ?al˪Áz (l ~=%\5^h^8>Z閂zr0l`s"5[! -;EԒJXy _6 1or6kp\ bFٜZ  gYZd196d420f0796d92bf7e5a95c6da1ae14f111d2d1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 ) BNF_Operations