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 C7
_=֭0fA@NF &K][S<<+p,wx̸Z2~YW/_~y ,)<>` hLLսȗ5;`oB!>C#BAna.̈s9Eenb2m!/({'H)F,3""=5mGXk®b5]bt}pLug8aSϯpѵBU*/?˯ss8_Rŋjsۉ1TRxxހ܁z(`p )FbH%Cc}&+GOn[GXr/шs8)YRb8sTc;fjl\ >!-c ٬KY&r =Vw'~\VͿI7wx]*E@"m[gYZ7zXZִF! ]ŗXiɟCrh8å -nIM) hX^$:IRy awRl[e8zq;OF`4vi$c/oMMQV}_;  NqBCG=6ӵ_RwEۭy‚߈|Y/\L4vʍqBc}Ku!3r8X."`y`)P9h 4]gYZ7zXZִF! O]ŗXi%>g{pN5N;y4mR'8_B#* Q TV1>\ZJ8y_QX2Bs@Gְ Z5 K_7a+c$e=y;Pg bRP]}CHxX4?p^˧}G!Xƌ1W9H2_g\r&YeYAS;[67<EG9}  ]-ϝ?t6enBh5# cXA<7d8i_$#zpq+V&<4a_c!Qm6\c#l?'Te4"Yg Ss$hFb!3X0$)N_L=Ẫ.;QCOv~#& WgfX o~7t1sW]ήȜeJשYO6L!p;,No(ͱKG0aI<$"qZYYr巢xh,$@<&h̅ zj>|IJF#;T n 1Ch? o-],6Jb4xM($7kڂͲl c9kL-dj/ QېMY G|oG0X; s̭Zwu°Vnd[0iai S <P,R?!!$;1G>P U%7T-2B"j7e6 fgYZc9208a11a84542441319d1e31b713150dd65ec5a665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 7 Abstract-Hoare-Logics