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 Z+ 4 ] Euler_MacLaurin:threads=2elapsed=29.372cpu=55.656gc=2.224factor=1.897zXZִF! ]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& Z:?cࢲ tA5ee'tFdYr}-V5i6~)lϻ<\O d|WYn[㷧÷G>TxbSM&3!,BǗ!/C#✯(79I^x#PP(ec匁/)*fҏX5wA;kuib*a荳QWe@E~"OeAo 8])EVl^/qx^S1c`Q)F&Ή(欱 Ed qly^J:TxM] wYUJ>fQ:LH9BgfR-Kٴgc207xg3md7 M|׽VyLlE=-4ٝ4@KhNfLbɂv{z C *B9jt MfLH6h tK([[2Ձ̽28 h.oy'T5d{M 2RnoiN%,?k0Ixa&gp ټ~)CKҢ][Dl4vWY4#(iŐϱ~L[6Vq{i>,/яo=Cr@1hRc*mQ>,#r([,jH=!'t{#/'z/[.8`;x4,KtË_^Q-  /_#B9t-buܠItSBJĿSgYZ7zXZִF! ]ŗXi%>g]?N,͝fZ3 CZéO/`eAp(y8sxDGx ukC)58\3r.AKXc:: 댶| !=wؕg qUW]!&#pدXo7-W oc'deql-w1nOf*6UrtM.5v{,^@U͛)mLG V&(^w3&kcXONiԘU[\USmTQ# T~X2I1lcl}S 9ׄݒRm1]i{ mD,ZVs5?tRy|m5K^3%.ir&5lۭ^HHOu"k^\o7Q^*[}PcM<4eYn`,`_D*duc na VwJӧ=BYYd8\~{aTy݉1|mhf ~_҂e~G`%xo]FWr.YTQQo+K͞Q-/&$:Dw|OQaEUٳ~pWt֒E-}2.e&3rD52Ҿle)Lk R3).'@tx?dc!3)J4';/sxčTZӽU Uawx9x-q+#j3')O>[e~ɞ)%0(9h<}\Si4m6+4q ;1iNi&_HAw-5TKeM8,kOK5D'C _?ݻ=Fֶ|Ja3]{?b?:0. 4Md2{Mq)iN%ճw˕}4`iOpxwDaW?z|-cDp#5떫hy6¾`Y "q=() yb`a uEGHˣ@gPa qCi6YbH{R\K1Ͳl2pRVC}GທjU&_Kg(Ls1F ".mRgw1 Dq@D-6ڠa<Ɇ`ХF0 .ӞۚwJjeZ= A4+ʙd>1ߋdAqUx@9qsdizf 趒YӼ:9wn.ie%jg38"?n$Xd8#= ]f5]T;pfJG dvD%)WyZ΢L2x|8 4b16eFʷbA le37o@6(\LE