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) 44 ] Landau_Symbols:threads=2elapsed=9.114cpu=17.336gc=0.872factor=1.907zXZִF! U]ŗXf1-/6vRZ_rO⛞[\5((jgڙz*1HVs]}qj/F;l*m+fߕq|}C%!/}z<.a1ĜiiBwH9_&:z 4~/RuovUSh=rݑn]PaAz]]v iNwP}Eynj>`>'fq%[1զH#60X>8 5D]e=1Ad{ g.u57S];BKSR0;}@L{_cxso[*K~TpjM~(o* $Ur?<(gM^?=gYZ7zXZִF! G]ŗXiɟc'od9m1ֈN{y Υ l֯X8K{ޠcc6o Q᲼"T"H .vLJ~W=յ4|rQ>gRe lz?)w{QLgYZ7zXZִF! >]ŗXi%>gۣWHݚ+jՌsxwB ʣmmjL[ VWAT_̋!$P3Wa55RDdw~9F ^M&{9wXE8eyCo~NC})ء{ٰ_k.XhY|Iv%8N6]b؀ooDx-࿪Y_ `Mvi## *|HKmjZgk1O>n?؁x5JrT?WZ:H,f ۚ)ZGQV:SQ5i37R?>!4 j|Z_i5 <#].R#vh$zcMMZ,o/u{Aa%'$-#/~#v'yKbB8Prp.3 =="3jmx?m~}4$XHSIsqc3i8+fhQwTjDZӽKA =& shBYE#beE4j+.%#3af\S/͐{xXk/{K7 *UҪ,76q#+.k1/q[F!@< a 0Et}cX42+r]p.J=ky7>Qn,NCg"(dmS鏟[;,mPs}К,$YR;Oi:0 و X0A&#oʇzAĢshഠ+I)waEqk(h ö\VH2)ޟ;;qk$Rl-}=1l zۻF=?")®wbD'E8Z* /23R!FJGiÆ,(^󯂝A;v T'@g}Y2gYZb1827c1922144499d5972d5acbe4bd6f6b6f3c4fa70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff ) Landau_Symbols