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 --P dLt ]/ BNF_CC:threads=2elapsed=21.506cpu=38.768gc=2.656factor=1.807zXZִF! w]ŗXf1-q恈͐7ӺV 1̗e&$W$!>έhz+>뤡,[>u:^Hq"ܑ72Ιuǩ;ҡƑGdBթ%sxčCr^l9 S*M6dIy4_'c}ib%N'`>/R$bHV?qP U?iXWYE?$>] 7;Qݺ'-wb못K-Az vSE/mhM:9vX^QoOC"?ӳ`76b#<"7 W7۩acze&p*++}偋^wZI[#1+ӸSRKSa9,"~zgYZ7zXZִF! B]ŗXiɟ74p1=MHzڰDbnhpB|A^g#u1Y2ў#5S aR)}bHb`!1ׄ#4bu0~ܘ,i#V0N_J FyǴp-};(9kHZZݩji)JOϮ*KҞM_9!nMWh%1HGl؋% 0HwO8b1B:nx⺩ųeĢ-lPYf8V(/R5;=P3mE]F"R)-o)1?8fYyFU'I:kraL,D@%- ZVgYZ7zXZִF! {?]ŗXi%>gϑx5a%hKM"~G'H'S׊h"sqF/3'DZfC.y[k{`!{nN F y[вS_Fh lE uPLְVglmxWiI<5;1@Pti۶y#ƼaBXt.(owNi:fO;N*VGSS`IhLR֫kg$B/h@iK"syyQ ;9t<$LoHl"g04+ƂVo(> .4ڟ6 JkkN1):6rfn9ԹW>xHL_Ox4wBspWr9i>mr]pJ#*Xؾ CPڔ ~Bv$l2B|EZkbbY_ ~#ٺF,f0FVjX G;DE|^k,aHG~o*RSrbjPQ%+WZ,F4*\$Q^acQ;sWۿ~ŝ32ڬDa;|P wSRdARx,pGd~8+ADkϮ1E+;b^S~-_Hp#M@/䠭K.%9`Ut!= ^AHdBtޠ'" ,w$<T|U={DR"Mذ-%W]r7 fэHgk)yQ(cF \ ʢb*ӿOg*RJ%A- شW,4!>(Nu ,I", e(7(5ٴb/3oO<Pp*oaJ8hHnK=1q=hc0XOTfaγ¥Z_ϫ{l9ʂӑ;{!i582ܒ88Xv|)s#,Z mqq``})]gV7=2k5