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 ; qyli$' ;Y93iU{Cf(ǭ9Gڞ7үp2AkNN١01ByfF})2 5(h>ja UGVtq.r^XSX%l_v+8T{(lD\+nz\]Xm$$Y֜N~}k6gYZ7zXZִF! *]ŗXiɟAyԳbɚ->=~XQ;lǻؽfۅjbnbw~Cg#Q;H&U{ȸN r0+M&Ac 9 d)<Ԓ @g4[bHwA6lU7q#}2!gcL(3ls+kWbskrlOaKaFZO`!ƕf;eD3vj0y ޭgYZ7zXZִF! n"]ŗXi%>gB^$P]E x$ƤBoykl74?ZE Z(ԊK$^xAO$ _RbahtU{@5< y'X.<n'YҚ*{3ʺ%B|f$HzmFW ,m_ъ0DbbnEvaAtK:Q58]ܸ ʏO&趰g*-(-f l2`CrڣdpHn8)7K3Sm[]+ӓw_?f\{]bf%G!֢"b.Õ<,Y„k'hwQ7|ȽT-t_rw{gn9we#=s,[?691qW#$X=r4f1! `݌8azF#nauҡB*lYf5?:&#rW$tV|_61Fdn&JK*%]t)2QCs؇қ6?jzLa{|e6\W:06juC=,D8åMu*(&>5Py0a揎jc ex+ddl%)U.KRdE ,/1y3"AC8aBB'/>\ױ&dg/"\]8:-iRYb2_9vyЀwbH6yAbE( @ XWW_2̒2?&yq5$)D0XE 1op׀ U7-rc̛ 1jLLhSaW+p`f!l `GN_ j܃y!>Ж+W6 Ar][$$AgqKU7j TUGQ}*sAI O9b5JBSj[16P[]RDyeT?mSRPO~XQNGc y,LxXMlM.Й*pk#o?CGCŊF?B ?7V-!^s}]Wa7$Ҡu۾R? 뫔(Ln_| aJt\ڏmcaTC9g~1)\Q6 `+.qf{zJg[@~87T/hQB^ӗͲrGBRt/S^(SX/c'Kp̙7}_t|65SW:߂Ӆl˲07dG`3`j szZco?bŬ1W0˒ȿk[O[ҿK#}) F:#t:8X 5gYZ1e49a48f40d58ac5fc24217ebe1c0619bf453a12a70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 12bd5101ca4134610fd46efb8adc7e49567300ff be46bddfc60a90d9dc484ab58c72efffb5cc60a3  CCS