SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ii' 4 ] HOL-Matrix_LP:threads=2elapsed=14.385cpu=27.212gc=1.144factor=1.897zXZִF! ]ŗXf1-q恈{RI $ϭ N/Xt\6 R4^M%j؏HJ:Wgg^"2{&@~  k%g>,.*Z]d~UO@hiq8@n¾pU,@Q#~N;,6_{*I0}(e6y?a`1\0_esXKݕ#6N=ϸ`TX4Pu1l'@@:'L49='%Gn@_4PyU"n*kdNܣkj3f3| ![͵զ.qvkpq8Z F| CU-huk>^H97%!FI;Hw|E| S]ՙ^ 4 3Fd8\\La^d5Kᦁש2'UTYH,+%֢IRnr[q{ tt}3TTpV[3K†a˩]nLLc?+apjl5F_>r9v+`XǴB~ET+W%n/@=&ue5@| H`ln:IwqwDF^خDrц%!+k2U&{]e%+a*1#1wFv|PeZ [m!`Srzp}R^WBI3'@{rr]EON.y$#a]SJXtYFՏtp7q4K1~;<|<ohT a\Hy# *U9W\H0"$B'yp2O %W(NPo^R.ڨ۩=OJZ})7'?zW'>DӠ(pMĊ $VA*jD[0Ke p/< 6;H>kXd3A_(4Ԩ"*rZybH \N,\2grxGkk!@FTor_o ؀4 4lLU]a}/$R K6 xkXJ`#u]PUAUux(bmEj,O#s- ͫILJ_' 7]ˬrEuOu#OYMh+/j_CX# ˲3gYZef0a5fc97d4943f5a563f61ee7da4f19c6e8582d19126f922e3aa9c20f5a31237f68a37a6d2cdfb1 078fec9a335ed8e63b0d7f40d8edca7f752c4fb3 9d8b4525c5f8c9207985b4e769e131de60d4e4b5 ' HOL-Matrix_LP