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 KK2 YYiro7О>,Yd(wa+ޤ8, ZಇL *\ :7ħm`Œt |_j~#reh3~&kZg[%DHH(@^?|T,=iGfUFǎ ][ڧw8D' Kde \pwf'qR{-z8Ju(l+3v_S{D& gobJ^E!eT== :?Dgؠw#9:ɪ! 9 IךjԼ,@v~] ;7ˣ 1 6'EϗSgYZ7zXZִF! hb]ŗXiɟ9 i:4V;}A<<ګMP78ꞲLKMQi>R-w,8&8w*nu,[ڷ1bzyQ/nh`Q^UD/< ZWgM9bA2!4 W*M?9@ںYصӊϻ(!F3WŮԘMgSLIiXhYo?@$W{i>sF~y ͉F >ƒ ^oT )Iݹk(=%/m7Ec Cw t0gYZ7zXZִF! 5]ŗXi%Bc\n2]$aE^bN~m;^}5E&ޮk+ኴYf@hЊoLB%y=iPT!M$ y,7B :;>Ё|C=q>P<_ւ} ^Y=žC2L~}v΅'C[6=ofs2ngacQ/&6慚HCr)q1_eèP,@k"I2S<4J]IVnSz& u(Dk ړA}d:qyAfqI# i[HydNdcߢ- ^tYO;1wAH*]#d7[Md>u9ā:LƯtsћfj=Uw ]WEI~lѽW@5TqaMZߛ?| 8ʪ\m#f\iR׀o|DUa/\X:NmȔ#(6@sJ?`û_Lª9Yua?<9InU5\){X#oo4ϟ+|oAK=m&`yWBE1[+ɁP'MvP OWa9Y+]M̨QU小(s|~hCRjRY[ĺqArRR6ot1햛\8k^5|,C5>]4r1ybe>Ľ `燴b1թnnwȴ,4"+# NQ[$8 @-`F͛vpoͤ TQ*znE!MfF 7Ca[bqO1p>,1Ş-UN*e+󄿷Ї;Ѩ1q8}$!AitOqr Z2Q(wq3s{HI=&%9D Bi>..l8ސ,B^_V\'z( g|.Fdt6rsr5uv&y٭@] B'3JEZy:{c~"ϩn+LfHU?)vY༇?6{ w]5~|0SU؜Cjt?"liyS cW2N/_6R.-8NaG)}Y2#V5Cb"/]Sc5M&@5ov~nS"q9+<)xMW 1Ѻ j TgYZ7b58de8ebc594ef425388592b978881170f2f0e83853cc710de37a8d8ae8e2ce10739760530fc782 38ef96e33143f50178354c6e383c9ea8a023d6c1 c69314ccfa5573b1ace15711e87610e1a7137711   ZF-UNITY