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  4T ]/ BNF_CC:threads=4elapsed=13.575cpu=45.496gc=2.972factor=3.357zXZִF! J<]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVJ44U2v)Z{yؒAr M|K.ޡpG+iҲ B]"Y0)0˦l88iW 'pbdw2Hz`'@b( 7 3a}b}c:4!kR~naaZ8%mz>/|>hga])@{ hbW RYzdhƇTE2-Rld'=*=0:v*N"*1yD'|-t,|:Jgz~QuM%tQqy*5` EH?[簦pt`&.VQ/6'!%x=caUX*&_<%weIg*$L0ϜH%y39iA}D\Y(zo |ޖ<#YgWƇ؋VG '8\Ȑƭb 5O0:0pHS(yOjIU C䈞"d^CAe8ley GGբޙ,>UM[R7݁S.KlQ3ag-GX6b8]u;4%rs~8_<^}vmmK iU:3e Éz ҏY<{qbl /1 z}أڭw?n!ܜR=;+y'( %Dѵ ?=gYZ7zXZִF! j[]ŗXi%L SFOE?Ha(- Ve~FyF>;[1'M#__ V 4XG6X=;2u;'0ˎA. bxo~ʻP*C{(;2S[5S@ޑ4H9ҜtsoLMr#8ۭh=] [[/(EuuA+'&9'-YϯE9d |?~ǖ"G،ZL|ZcTkRMnFj3{$%wdP`xD5ҎReK~҅^s ޒn b4/e M/j<@ۊb9K $vg`2K~l 8:cq2+- R5K~\ʵC҂@R#±^ͅ78 ̕4v S/~Hvx<ʧR^V^ߺF e?._JgdZU#}nFmɿO?Hvb[rS*ǀ1-$/n\g_*1#;S+U Ꙅ.q-36y'IQ ;2ل^ JCݞa1Jrֵ(8:Cѵ.UU՚fo-0S{iD:~kIC\tԵ_'J>L'weljňһOHOĿ,8l|q:nN}G:U5| 9E@T>n@|D8ؗXw4q= ȁG9R)!|Mf ٦σ9m+i. @Pp }kVeId6c%54MuM^x3THe@˝S V#RWsHXLh,nH@0Mׂ@Y7U|埑^QТ~*kQ8?Z&L4~84|vŭ+,!pViDKJm \z |ӬȏENOKtx=rL5I%l MmΤi`Эl+aqQT|\mi*:)17RW[쿇-;NoTRA 豕Jhg~J`4^L0~B[*};ȇC֨nҤh!׳2;Qyh <&'P/&bbYZ"tʒђty 8x19ZيH&\?Ug >0s ڬAuM%EE&kTdaZY]r% AZ56 tވemV0]T!n)@r 5pQre8'ܒ}}?o ` JЪW T4ձgYZ2d37017aaf292cc293e349aac79ea1b4c22123bed3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20   BNF_CC