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 qq ' \  ]]ConcurrentIMP:threads=8elapsed=15.309cpu=40.059gc=2.444factor=2.627zXZִF! (]ŗXf1-/6vRZy-`}$=O]a0_(0hzbn0>LaQRIԒ1!"vN>dc;)=5w"jE۱܏!tq|8-uL}01u=@#Av9ق;V)bwheٴٮ?s-sIgF\~ ɣP/vRb`= XD0YJGI8dZBnXm̕@q}`{+ aIu.@,"\"ƕ,>j ɫab-#dvZ"Qe6 btZbm>'V$]Rpwk~e|!誁Ϡ_kZIcH/{;Ueab`B0 lRgvLer׸H (Uo2KiJo #*vxnLdFK`|yLZ %HMl1UĒOްj˛ɲ߼14F"Y;x#i#gYZ7zXZִF! ]ŗXiɟv QnxRɢۏD?wG_!˺n?e9F> {lFA.q"836V 6`Q#\̰`B,)U%l7 So(lZ@Jnq1 CBIJ1L6aȆMY Q D 0gJknX[<N Z!gYZ7zXZִF! j]ŗXi%Ee>=|y©҇dO7΁md*9?m{Woa[9m*nt܆a7%''Dznciẅ́Q&[{cigAB~2d ,q"չ=h[m~m$ p 6^:m^refqK(!'wq/^_M ( l1(SDu()EKЄ+5q$A ӞH2G J7CW1,PNJ=|KyG gBMV@%cZâa\gdeh@-٘ 8P=D<Ɉm߅E-K;%Ʒ^Vȼf_l= ztk{k$4uxT)Ny7ӎw.s:=dozke![FuIT\XlX:n|Sa6 \Ps`T?A1L4x\5EQ"!0E7Sߜq}%P;/qJ?%+?SKTwmȏA$I^4T`8SVچmdUgӺ*H8H}PZ זS$%0?g7Bש]^*nLJ̒R{.bU:yWգ |M4+N|&'L':C w 8TԴ3PUJcĿ>7WH;l]z Ydv 7HU._V([!Y&`nؖ v_2:/jJ"%}!Kc0 8 wv\ȼצʼn9 =g04^=INFk^-\վ+]W8EV{}`mKR*zAJ$/c1+3K֕iTWR$LY?$j"^mXZZRd-Js6 ֳ~G6^_-fuڔdr\!?_܅cLJҬD,)p+F az89qVtQ"YVb_Og[&'J5T%nj,N N v${cBO2&rm9M asQ=`Q#Lp~JN•Nͧz0km ض0pU DlsG  :>iآheNs)CHg KD<:c(3-{(kJi݊ݹg=IvG 7+S+ uo@6JrD(RkOK|_ːpL!5^=^n4 _2ވ+Ξ8 <Mm*tBLٺSϽ| 3hǥCY$PS?yAd Zuq{=kSKf[s[YF?ggM؅kuO,Rn _ȱkQFرgYZ75ef10c5ea38514183174f3a52dc64b16d42c45bbfd4436cacf29df2b3310f6b7fbb88215e2f1ae4 440bb6d8b3a0b5998408d27bb6ca257f3b3a9377 0213f1a39e094bdcad576627fa4ce553eb6425c68e2822210e04c0ca89682b0e8e3ce5368a065f2b ' ConcurrentIMP