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 n \$l ]S]Matrix:threads=2elapsed=33.150cpu=58.488gc=3.640factor=1.767zXZִF! #`%]ŗXf1-/6vR[Uy{n > gA[@L \A&|XBSIیx ,]d]JNM p^q&ߘTi9i_ uUqsLEխ kEωKrsv3HuMPɔRjXទUpI}᷿%u(#r8H+9RR.wge;Pf(Yn+藸TD@ ,N@A-eG9`,##Wo+te_]#6L) /ݩ'0 \\Qj   Matrix  ?qT|WLj.Cxӧj >&^;KT&NOD5\|Salu]!W6e)1?g p\ 1q;<~` <މ`1&7S [&9FosB~gujfc#i! eZkAe/-XiƖ ;Ep{r+iERiY?/ hS-BBLL$[ZkŽvfٝc,89>[!ّ}bJyg 8˓f[qNV5.ubջ ت;9"[Ey#xgҏz{uR, Rvh16RFoLj/Tccȥܝh5;og3'ЈkBz}`f*Nn%Ww!`5)=$QI/ɺ(K)He ٵeےVDD;.,]zD c{f<4:CP-In%h G*85Q4-` R @ͨ(k]. Fx\RFE?,棟R75m+N 5{2RC?N KF"E3gYZ7zXZִF!  ]ŗXiɟReDH$ 3gE= vWp+LV ,Nڭg9oyr84J*3,Q 9b] }AzݬvAPRum(jYoRڑ#h/ȑˆ/ cupݱVߣ׺>i "8-FԣQ)oEDFq c3QHoASpn.l|ۛ6K]a* ?֣PxQ @=NgYZ7zXZִF! Z 0]ŗXi%>ge ; D8p9@xbެ9 blt6p(o~5AWd>դX5DR Q65cC8cZ}U}2mA)g^ZT[9VO$ߋwAz]+xV4+BE~d3n}@oFdjCH`FMGjy8£:踕{W/0{n Sʻ7Vs[U}K6J5%Gp`AlDݱ bϒ}#Wb)@!#j+ˈEQD#N3w@r#Jeg@ZlE5zrw D8&S-1{aFTńD7\J;Rg kw|j|e]zhUDtԟqK;{=Agf_LkKWt ʷvU]'n&wZj/iLn ! j'Ahj2N/z0BDrnGn{~Ǎ< 7Ix[|ӕ@K!<ӆFo.{O{Pn evEm"-sM6.wy=Bx}Ϸt.,[cUy<ڃ]ߎӁ.S {jim 5bL6#u_0@xa_hR8 +(s*l--Vo~ț)uw FN#믒<^ aF2Ghd`U.DVL$Ukb6[Wl"^bH ƞÄҚ+Vk)20.#;AXie~][p; enHMDN^kQ˼%89qh#PFvdqB5hcd&~xI`g$|xp%q+w* ?= Ţ"Q 4wD ˜=ĢY]!ܽuCWQamߢ#d X7cb]2Se?4ʇWڔq/L+wGN@GxlAz{qR*1N)yQ 2G|޹1m&G$s_w>g\HvrR/wZ$v;lZNJH"2<6 /}t Ctk$ &ȣN71Nn씆D~U_U}~WG‚!9 ˜X$ZmE<3# ?:&Yَ)f:}~Cem?{: 0d=֜%qDv!`S'eϿ]qFPI/qam@L@atU*Q@O;rNMU;vIr\w%Zg|u_ܮIPbmg'2Gxc$W0%HKuW?pʡ|=\ނ$zԏR؆8vgCɥk)B*\%@i Ud8028Gd'DKnjAD}{4+Ob7=tjQ4.HpڳЌ;E'o=T4;6;cgdp5R8Ю&ⵂ[JlL_q3DO_9d+qi4_}I6^[uc:T!Ԝ=HRl؀pļ\s1gYZ449a5e849cce5a0dec165cb6259957c07644a4da97833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9 76926ca233aff1c1127339666126d732d5d52775832c9749236255319707639099a8a29692ce5f14