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 uu $ ] Category2:threads=2elapsed=17.693cpu=33.476gc=2.208factor=1.897zXZִF! }]ŗXf1-q恉 :NCG 8vۗ#Y1 h  PrJB3~ʙ%"s[G1m'oyQJ j2h(J`B꤈AK Md9(?LN\M2XH_~MQeqJoā ]ٞ>1UUbNӢ=5!U#bc:BԈ}W jP=S2 G SCzsav,?Wjaw{c2@5cӐ= u_\+MLuIH>OCL%|>T(΢)C^)w2xkE@g6}(,ߗ#kvH2!`iLg)3x:*n6q輷klnbO<~9gYZ7zXZִF! ]ŗXiɟ1qnAcP꺣3TAaMctA*7q<N[z'UOΪ v|0Hk.+`vV?VAqW\)a5d-ER%LJ\aH끳˴DUDː1M-; /uCtaew뀎,Ӵ>%Q<58l;tY]Vc]pW'gYZ7zXZִF! jp]ŗXi%>gR!vSQ#Uq|b@W:=Po9֙V2yfkPvBZ#@(hS5\n_) g.TDF<I5hiKzq|XߗN_nݩJHg,.]o_@4L U+%wXN,,.qi"m6Jj}0^giWK?)! HLʃ/nC] ȕ\$zB{̄S:93ي@y&BIfzn+Ysn~r){* )Áz,v#u}EpZMM"pȏ""DBi&Nʖ vؖ>I={Ӊ!łc'lUfY$ U.߼^ޫum&ʫ@;jٲ^k 5,zh~1$^(' 6R?Y1%R*2;o)O8OQW-#(S$oK\x <4aޏhrc֦J͠ai@dHN:vc]8e3t}:|D 1'#Dʋ%.ǹA3ja؞UmG$wŧNe%/[wY} S52(7.;LtY ד(7,>~VI-}iVGE:I-9?Ednt v~I);k]CL%@p}{F&(Vkf_6[(bxzk6LX>Jp6n?SInm^3=6@@z}蝰ƕ ^,[e;v eړI~0&\QloW/$g4gS<ͣ]Or\ 8gYZd9eeffae2b57b0e7c6b8269155dc8537dfc8207897833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9   Category2