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 ]] 3 $\, ]/ MonoBoolTranAlgebra:threads=2elapsed=8.009cpu=13.224gc=0.528factor=1.657zXZִF! ]ŗXf[& nv$g@zq}=Yx=coe L7ߟ6g\C)]=@@̕6n%}E*0D1[=뙠è76α#%fZQDsIDfgjF3ؚ QvӨcV6-_4R!x>\caF?OW+ YuT-L5a5]/,X* &QrU0)R4)l2p3m*fi7I,ɍEHeq#V(8<#T0$6Y,@AtCDs"Ԕ|Q`{P`+DqgYZ7zXZִF! j]ŗXiɟjg*Cp a:~- ;t0JTg"tͪ|=A>@R>i{9 og5r5<]ӆ,L fzn"&KCvٔhr$#(^G|X)C7Z4R/ ~Ɍj=b:d{9_1#8eN3.؛zAc)ֱJ#\hoU\gYZ7zXZִF! 7#]ŗXi%>g#5[*^WMّ 2R"-Hiշ*ڍ`b;` .Kp54JC ^#Wqm?G5>oY !|cF=pu9jzX:>]ͰlA$/#]Ѳ0FXdNjpUe3J." ]5/l-;t#?@(l&-^ F{4o7dIIe_Y? X v$eGK3G?K[AS^*LD}Ⱥ.6.]a3FKnMlqYԹ7)VǮ_EV1wFަx=3BQB;vbV3A@DT L0.,V=XL (xhk> k ?̵ӥlv#2e2."UO m жd*>e4};WSőVl2 xo?+lD!knWm##lqkQwzV^͔ ^8+/ZJ!^ ňf7U<&t6Iw~vhvEȿtXj[7&~>"gjnMd ޝRbVuae>>4tF&2 VuxIH㪢 (4/9(ZK.fO\r#2s\/ Mۡ"*Y;[MMAhk {ۀqC Pp07rjSOݎ;z pyW9OiOGSCneB!"2jMR@4rtVn=RIgYZ8588f243750aac8c7fada8540b2b32ece99852220779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f 3 MonoBoolTranAlgebra