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 {{ TT ] HyperCTL:threads=4elapsed=8.216cpu=28.516gc=1.376factor=3.477zXZִF! ]ŗXf[&r>ܞSd+Ǯ5,/VJYO,$uoe;Ie!49u4ěM UEBJ?(0Mn4L;7_R`9sSbMq#;Ppq&ʬOvL~LAWȾ j}<$b]S}$`y$_O$y?Fikݧ"N`sSlFv~Cb]O{lB;#9ʣ8N@>xlMxDp`)8AFŎ{M~x*UѦw6on4|?HdMy6 yg.n28"-QV5d (Y'[*|; NKy%*l˜ %l|/{awi/@ĻY _pJ2nlsȞ4'6)J`п֦|Rh`܅SgYZ7zXZִF! ]ŗXiɟF@Am|{'h1Dbʡ$ eB*eOS}ۗw=U#*"93+z JwF a44(Q`Ȧ[NW¾m~BaAyUp)">%~.}1VINgYZ7zXZִF! B>]ŗXi%EbbpOχ;g\LHUcx3R\GOCs9պ^A`/2Yᔒ)!u.=9")CN[Ue3~;Ouzb?RG//X%Y hrP1CQxwm)EawێLyz~o:b/I=,B@'dI"IE|m[ tO֦F/q_Ϥ ex^!!%[ AڝJN'ZJXrد =s2{;a~:[3:eMf3F 2uهˠKyl3^X5fﻔRB %$Nܡ{߯2gCU<ԊTq0?MBxC1 3.wjVLbVZŗ:I6R@4lAכYjvub Gǀ@h˨8b@ _kv"ġs?0\L7n@U+Eni~u@dA4EZ5KdL!a8Ӽ\Xb"x}31dh/6Y=b$GwzVI9adJ1,Nn˹{K95\O ):-R GOi@'Rk'Q[q\y&O;}=8;lԻu_튶yYxLuTM]au{ʗ .AETЅ!U'S96FȢG|¶޷_ˉȧC^uQ7z#K{.:h_.EU@6J3u,\+$s m<CαYZ5KhE, DlNO'$:$-ub b<{)2+{)gĴ|i]ڟ1WG& Ƨ{-y"W>a .ySr<$p!sra4eJnF}^Yrr>o!65s7uDZo-?7>DZI|Z۠Ԥ]n`9&+"-`5eJ9FG^1K] |Z`ӛwO;۳IxkC'P>nyOgdyrP~;y.}F]iltwe&([2E|̀|Zzſ!:~m<⪨7)ܝXb^ 2ئNdHuM9| lajEJIuѵX/_NkrdsAy~lp/'3+* qJJgYZb6b534b0c983746e1cd6c9e6f38b7dafc7dd464eeb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 e34bb98bff6ec3e8abd20ac3252ecaa43e76eb12   HyperCTL