SQLite format 3@ .;  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 UU(r||, ] IOA:threads=6elapsed=7.827cpu=34.636gc=1.6167zXZִF! sx]ŗXiɟH)0!h]G⢍JWƮ1*KdD2ғ/~)vÚq><}G =zuJtϐy9|s` leʜE[C8cUt%C}SPyYkїl<' ݔ #(#J0\Q)4@DȆd1wDuGM]*yl?μ!u#jULi[Vtr8/pݤ͎w٬r<)tghk#xa 8v]PAFԪet#@ɎJykr؟)vDrIHۥ~yzYftȥ r.?$8NRj1h>;!# "֣=h7Ug/P'n hj~MW?̛fS 1n%YFa;B"jũ~m ±Jgu].7V_ *:SOꞎ&|&YftQf/+aBa2,v^cRSjIj7斉wyVRi|2.PgnZPCZ&ZgYZ7zXZִF! `v]ŗXiɟdN'LvH۹4*1^0}$55Q#7f'N7<\{ܤWZ0g0$?]Mٶ :C`|vL9}!ĀKڐ\xb,"kb_b ]w+,QT PCES&ѫPJV,bW]jwzm)9[LBX&#gLhC#wyM"Xl:0y7=(Ë vw4:@?Jº~8S/RV &}PhTk1x^W@OCY⽚3Xkƙ&:&PUg'8nvu" κgYZ7zXZִF! /]ŗXi%L(n jHYYp\N:c 8jVD {6=:Sy#T!-p)&x 9+}3)X}qgDCI 'GE育ߗʟ ^ZU(;D[g_ʬdInSХ@]=i wonqn A%RdM4*Tm?EJj45:DԱ4Xapx4KN@iG xG=,WWq^E,o[\Y*Aip<MK~nY%I| 82W̮jG e\w 9R&"OUT-~^n)hș1ݴ6zo-ְ+T(L"z3VT4ct `se9o9`y%~ 3(]!z/kb7̽x]>l.|G̵o.XVK_cq"Y]vZ*~ǦE>ߵ{x*d)HQ:hBC pE9؅Rը]Ѝ̑Vl"g^32@r{:yX? ,ŃF94(1=’FJ|ˁoƖq}} GGʏŭ:Mg0z&ut T^V7{~6S<>a6U\;m@VFQ05H5Q k67?UŰ ӵKo*xiOMď菐`7oh M$x8ex}1@ |h#d