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 h LDl ] SuperCalc:threads=8elapsed=19.523cpu=86.208gc=3.787factor=4.427zXZִF! %.]ŗXf[&S ӟOx'Љ/~xS}%v3jnX,&ӕ^Fq7ujZŅɂ`-MIij2!mb E~ OhU3HTp;fJ򹺨F^>MOݾЧ%h)^E(Isr֎ #֩I詵=TĊaƜy4wZ9W5B''+mim&;܊oS>~OPV5Oj-=; qvYhq!,B(E E5UҍBzQΗiNfBiUqEp2g:glX*MmgO#f\nll+i}P~u;e]RJeQ-R0$IQ] AoyMԕ!H|ݨG";dN m۸a(ݽpKZ!6$4m-K@‡~,bj>yҠ,S4aʌ1Z"k /C:|uӤC0Wg1R<N `Fsw: T 0)*Fònr@Zɏ~,jL&Vk:~3<,M"b+, &h*8T;;5DkdX tt:X%A2܄qyp,T.{FJy;HVrE쪃ΈzJs\:}e|$`&?8eQ8?kStvjjb|pLqN_(NtM<ٌ\f:ˍ. re-3Py)Lng^``hߨ `.o=:u-^ςNp'Azj5f)KFs#Ns%cL>ٷF8vF3.J3ygYZ7zXZִF! ]ŗXiɟ}Ɓe6nt}Pnk>v*&r&>ŁG@:~"`u-p@ "Pzڗ⅂Ma !2'C Џ=YAY;M"xt1~^yo'tU2&"H\疤u48!rlSZg?fֹJf6 ס= M8ܨ,-mNa~~ @۶k*1X.Zi߭^o=WȸC{af|&SwPi!$s"B;iMs C8*~FRH/hy8yVpCˋJK"gleKvWi1#・%hBwU`zC ]ı:/Q7tgS^nbb ]/h+:u%r'lM'|l7n2Tn,/#𦸰H#a/'hféj?1p~-A%IV~lM Ul'zzAXUq,HW' dc]1FnF@p2kdڰV%u P ,^vsc Bޥ[GGntC$ES* ~1?o7J\p%1rXê"J$ɼV՞S /K1 boa2t&0PmoCϸP9sU% : brfp4 cAi s~wBf d'h|]WSצnHg Vߋv_ L 1-v%g [鱴yE 5* .t_M cLslkƩh yZr?0i-?>)(2BzƊ~ 5< .3