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, ]/ Inductive_Confidentiality:threads=2elapsed=15.618cpu=28.016gc=1.632factor=1.797zXZִF! m]ŗXf1-/6vRZ;P| ^TZ%DAևOt*;tBq[;viDHK9ɗbM"}fhogYZ7zXZִF! ]ŗXiɟT~@D yA, ݊1S'P <~Ч>6i~QpO\,`V8K"xdkк .KzA]Pr|}`:ڸvGO9m'IN?~""9G4:4v5_MaK) l[=țx[r8/S/S*aȟ(O.|*e1,-:{>U|sswgYZ7zXZִF! ^]ŗXi%>gTDELQQ! WhSenD e &)RR=FLpCz1bvc_l"V:G#U>z§6S+جɃz2 Pͺ&éq9br]/jG>ВwNօ fa*} Xig08+5$7̜i)}B41c`ǩ%; 7gԎs|yc  xnqc0^J1Uuo7*NK}AuWȽwߍ~-E*AѱtkyOCU9u-Q(Ï1r/*| ]ҿZmMɯ6!92$IO h԰.ywK'nm4ө @,Uo[vU2!h4U׍~N6(&!0OZ(4sݾ2G6LjŒ*-7N0ezn'C?8}Q+ ¥vJ6$Muv:CD a:o0WC,+Dq 'W1'^\ 'Q`vm;gf&d+mnW|_N }$Qtôvnf4isXBDr7qmIr9oUIy2STY۝W_CIv̈u"`[!2[ Ud:K%͈JgSWNuܜw;E O5u8˥jS!qCޢNhI<81@,bBYeq38;8)< 3"O-ɻLpL)'.m)/uj*~{Q ^tŊFb+dsՎ.wbJ?}i ,`qj OCPt!+_g E̓D<79G.<=4]K/. ~