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 `` #^GO4tO.?&>=;-&烽!y<1C@% dH/dAA X %K垀JZT\_Q+ٰMHVXA>]vV;0CJezLsc8ely9;;Nn6&a!"ϵi}acCdqPv s==sȳ]; w^$_KsF"(i_MҷS+f#1 I@CiX44VQ%CLg+Ni8&6O@AHDXN|ؖ{~T6B$gp_St?UXs4t=6Q╇!.;m쥩de7s[xJV>7]B[_Kp/(6TIQr;ak] 9R q6<ƱgYZ7zXZִF! `t]ŗXiɟdN'LvH۹L}FuGK<2Ȝ$>! t$bZN;cɫ:{('whC:: Yy6ޏ?*YSY`fX'!`> w?8B //"'J αjbWzPRy9e>|W ((I6FZ=BB嵠l(lL"?`zH} gYZ7zXZִF! )Y]ŗXi%JxʜklhqC 4; kq>[䠕eۋ鯜֭ʻlW"Ԗ"$b);u=uVE;o2# [o5c|*,OcQ$RN, :ZZ VTBb.!_O66CKEVBd>{iBcQ43Sz O"ftQlx䷥E* XWtS3:Q̩ S>-$^j1OD!pBw iz^8O>4+ꌽ$YZwRV>9nO]b~"{V%8u (w@TLBJ6';6krQc)OIC;Z)WcNv=7ө[xʵt,_&aD1 'B;2n-*1̵;($];n(ى*=.qu= k_\:[:|xidv 3p&@yT[_XkXvt  ɸ(c?jt&-)BJE>FeW|ORM u5%evW߬xc-^ѕ ]j0pHI t4, m2Ur{L-~s8( 2Os ā.!1m+D{d>҈MC3W:l==C *&qYSa۱gYZ59af36fbc65053b761553b5209db506dd9de26aa5d3df3e9a808a2e76c9506db8ef56a1f0ac90c5c 99522e89eae0e0595207e8a2cb989772370d8b37 5e178518bf16599a34de115cb798d1a1642d2b65  IOA