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 W1 | ]% Stream_Fusion_Code:threads=4elapsed=15.159cpu=43.824gc=1.484factor=2.897zXZִF! )]ŗXf[&R g0Fw[e0Ozt=3 az E0YIYLf,%cvMZn!1Ѷ].^}! e+Ʌ`cNc 'T#*tQc\;!2cGt}nn :}ި!e[Sq:]hѬi7ZY+)͟),\~=j:~RؿAɒDY~!>ݼČT;g8oot ťX}쪂FSkVaM ]^ 6?^@[ŧpw!hwIˋ{|˜dO< ӈaʱªol6ZÒieE2v?jOj`L]NyOQAt4I~`dSiұgYZ7zXZִF! h]ŗXiɟ ~7m`X$";7GI֑dt,+cNJ_AHC 6afdBǭ+G?r,zE5KS\aϽ; 5?ItKԱgYZ7zXZִF! l]ŗXi%B )Q7[cd|ieR{ЎTdZ`&VY&'њ~nW*'äVȲYv ih:[EaAE(;Q ~"PIh40v=ZcŠSZ֝E9iDj֧5NpfÁ70}|ϏU kWxa?tOu+`n&l\*`W&ߢ/:Nٖö>Ve3"/0=~|p`̲j~_RkkzD} O

+*DSe{,>Ojtᤅ|qH5+).1BWYہ4yB~C$X՝ gn>n$J{L\+tS0LFbi7zPJUEZh=S-ƸEc5ƾ泥{CaxhU jmat<GDեj F=R,ǫ /j ~HpUctݢ+e[ xʇ?y燲^= Mdv|RuWAIv82 4#WbSddģ܈bXEo-.c*Ś| #y:V 'W ҢٗwL֍~{X=+Fd렿s|2xЍ}߯;={(*Z'Ymor^PQCd. w<'H/72Wqӎf\{)A,bsqM)FT;;%cP'@zZËq"*2$EyJ{ğɣj}6BP1F˧d p8ո苋@0zJ6{u }dR 8?j]JkO7ueAz xp2I;]51M7/'Y3@z_K0e$ۄ?K,~=OQLY!^3 9k +]JOPD.9q0!6{n*l kmFG33V"/,5چ2X|xMd+FQsOAo«yғh>Nt..<$igYZec0a195f45981f9ff71c4cb4944121986824c4b5c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c 005cb0de6b39b5f1f9153f1dd6a340ee1f098f94 43cc344025a5b3f9e9a5e56542f5af92850eec11 1 Stream_Fusion_Code