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  f <, ]/]Nominal2:threads=4elapsed=22.059cpu=82.504gc=3.696factor=3.747zXZִF! -]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jOBIm-v{G9̕Y5/GIRP D^84=S^#OSXs*I3ú%y.Vx.bDMLQq-0]_DCJ߹ q܂I8˕RNjϸ7CdRo~0|nn/ x^0] J/A'oZ *ӏ5"!tvŞN&"ffKL1#3}' fE l'A`N 0x ߦ QxhQ~DTUd +KEX?I2I*}"ҋʂ-Ȣ ui"Cw|vOiG&Ju1nx Tu((6^[ΰ.OBqwFmn ƚ:5{ڸ2 YP댪c; Y&!Ⱥ^ vY:Ҳ<;҂QIҹsQ#lz~_Ktb۾.`Ko/zh( sEsb{ =f]Z [t7\isk }.-Oj0)Y[6jX4C+A^n qdOY6$J   Nominal2  9r;k *8]:|R6{,Ϛ:b7`>w`P, "Z7@ɜ@,5$lhGbT/`yMHr Oi+(^rzp6ek l(IՑAΆfts$t?|or-wSk[; Hsa#7Zd!O큐r%WDh_R#Dաc^~NW LnJQM0Nٔ?7Qv?KSHTi,Zo.4%OxY _M5CaԖ{N+y|nmp{C#zb͒whI&6*6l yoT-Mɗje?×cP&W;ӂ$dV*!UkFw>.{ z?6(Lمmr,9ef5k)B 74: FgYZ7zXZִF! M]ŗXi%L N^Ij )VmB{cT>or\ g&eպH󳟥Ϣ} .|Ez>teӊYwldq}0ATpsm&'0l#.j@9"-I zγ6AG9w4E_p`m>e=IHB]56skA73)z/[=X ͩF[%hgگ86j?~ R q|e'1WVǀg2:>SI}L:M^ OLoXjw֖3J˜CKVzrktO {SɳzfL&"W_x-frey"#;d Q?&X?h%GO@kJ`::ǿJ~^'tGQhu%c[kYcT<@mx៉+ G<ԡ^nŰi#xI;7\&+YrzLM=xo 1+~fjzmNNӮċIVijC-]R,g boG w{a;Ea3rpx5o.Gt`>c zHA`_ƀag(mJP3؝נ{߶4qR$`KoY[NX*t5{OT$n llC)bLy\}2)<ռ+=<7tEwoT鋇Vv7//ae{lWiԽ\DF*%tOZQxWjG?cTz"Y5r4B> ?D|?8UJEnOp/ tFA_^& Mqf~k%_6 /$R uxߐX68uKR;YօJ#z7%",07 70~7l!8at}a |`N$Y䷱,#=1$x ZP-ҕme`a(uQC4'<7a^o c5T;iz C 5'y?-bSi>k"F3(|n!v)Z0y+ϷݧNz>Kb/}bz;(Jzخ o0V?Zaʸ7jICP7S@$k`;Q?}]a6/7^xZLOr/dKI9X1kTQox / bj9 Vo,N\)rh̛{W4Ʊ5cĐ8ÂG"=jj!X óK.Y肼I\Yf_ hZ]{/{;/1~| 2C` [J~ yKsCtH?;6c8,_'I#kƷh5*O>+ q*+ |°@JICwVNv'>+lK3 ~fh e5vEAjV3ɴ2Gl٭ǀvI!Ԑ"B>pI7|