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   t T< ] Corec:threads=2elapsed=60.049cpu=87.744gc=5.976factor=1.467zXZִF! `]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$sb| d/ж: :]mWznfKPh}telጲ½H,~F.ה-i!?ssyF}ͮJ{[$!0_oa޲e20$1kЗHR[XZeiY̱RÆntFҫ`XI2fUK4 b:L ".jCWo-Lڕ@L:+j.I-ؚPkҒ˃ :trHb"ܼ?tϜsfTՠ,Lz*yydZ#j^\5gYZ7zXZִF! b]ŗXiɟ&zLot H#M)Icx}D OJ|Zoc/r;AxNO4CP*2=Y"; BrS₺?BrzH}h8VyBĦxtCDW!@)r{wS]j j}5?Af 4+̋n Ԩ>>NVq uz3#/mFBن=w6-$gʙF9%Ӥ﷡,+J]?ȩGd'7t ]B~Gv67&B&qQUb}>Giu(A&1@M#~<{%{RʮeWX~ɪo}=<&h!Gq~Ge ՉZ^; 2&315{mcK &$F$z9z4Ebv1 8tk"l[!B Sy}o^mqT1 g{$ٲ[fOT i"AV3~L$S chWV__"·K_☸"|2ܑoƍQMNQV'+t 0_,%0ݖ-%$$o뽔AQ$ 6lFUs>.NТi:b7 k `~l!9/NԊWOnd/oeqMC׿+ _k%sVtB76zV( ÄMS)~/^@y {#אazNʃ5^Q^EA M2'ԫ#~|u/-87&=iUvYQua=Fѕo1 wLzcO/@kR*BLN{z)1&#ێ׭Z^[&idTjPg4Y'z896OY Japtb k} d۴ti3 ]sBT S]ͭ޻O6'wˮL{)^}JĸlA#&.9,]T3-0\""P^dZޝ0i a5"ل{RDW~8 2GY%jQ. abo"k\¬XB]B;8W֑*#aH`6V0/j)Qk|QX=4#C7CFu;1~gHOEvN4K+rTwmlcHW߭I{tB~4l2@G ޣ'fWAPjNx%vPӡ$@(ah_&w[f5k|B3=#+4pݝebGXG< 64ylǠ~kTei/ᱴ+dB &ǠՑ5F|I;plՙmtj֍;α@:s6fyg姠lOa$#5D6GD^A4OAW}3CЎ~ gvtڌu||IDd 1ibl!K"(vZR6۪̼Yev0_)EeӴ*,7W!$^y\j:ӆz;klP#{_x1)ВY"+\N: (gsZIҩT-}bQ9ԆwǐG<g $ H,dSEH__ؐOB(4/q8dNMO sW$C;T$koCzmvm%o #ZwnH!˔X~ES_iڻvoXK?vxHVEG7Nz>,$rԔYhvW^_W\㎃dbG]XLX,Q A0@.vI뇈6eՑid!mYEQۢE2F RpIpkp#|ԩ73#L}I3$68s:nie0 Vu+4ST&fήpcӠXF)9NI6'U$ނ `^ؖx5ܨ{d?¤ة8$,6)A\ (30-̩<,AUߠLGn̜f gYZ6e6d9bdd4693eba256fdb5beec62b203cf3e6effd50d23da2fba2fa66eac370561c930ef78815f64 42ad9fe34f8eb64ea2663c9e76a55f6c21a58507 2877564e7acd01abf35adfba190c1e8503a3502c  Corec