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 33J L ]S Lp:threads=2elapsed=38.414cpu=67.044gc=1.460factor=1.757zXZִF! `]ŗXf[&X'y`T=+ˡ-(uAVw4uC4EA tsvme]0Pc@*T"m2& nd[2SI4,`<*oLyJ5=.o,i۴K7˂Ӎ)V2@oal\{)Mpvp7r*Oa&WߌAdV2JrLrGN+3dΉAz%z\C-ROhoӸ{e/GB.@e#پWTԏ/hЎ!ӱ sv="p-AdZ-mLY X2sc:Ѐ|D* ޻?]:U ]ٴ#sSl-zBb$ Ќ=SZtGN3D(^s2bm*8GLJT4|)4}sR> [9&)h%U(VA,=l䥰:|!sK"r蠚=4{<סBv Ҷ ~.:0jOPy SQ9u*sɜq>Ӎ´XέMQ'{â T+3,EDrڮ1v /Ug§VnZ1i FY6twq5C7rd )!DZgYZ7zXZִF! ) ]ŗXi%>g9/)?"-/W] 0H#^W`AU 7XSEM1]*){FsjqGvW:^!]*=!EsV;k0]!VF$N5gcUG).TR\U욅 >,g0.%:B>L "lв:h7D+TORZ;>EG,Aʄ\;ڙaF>Nǽ,˂?^ylX,!uάjly_chKzo5k-tstTFGnr%T wuWgޘ8It>aZaXLw|'ۻt.W QXEd(Qj8 IN֡up ODʮdžiR=^b&nN}fp1‰=R h2ބs v};#Eϑ7V6ט1T, N{:8n C=tDf,*8v䟾 rX{,bB#R|o{_ou]q}"z*;4#@l'(СSd?$t䲓NunKEeFbr [\3My>[,%|۳ݸɜJXdJˆSB0)/H7bIXL*O*,ZM`/߷S/٪.-6 {h~moF2:$%nLq;](+Nrw@(%|}h_l<%IWՎgO^׏&py¾|*MCyYLEb,W ++JÄ{7{;-tG`dA8p-n3rw9F]XQO#:693b)%Q^mlͻo=e!؈V8J@ʛ=M{/i̩^NinQ5RzEz%}t C%&X*v!|J c|֏G)97&9N~9% 6"}d?r/?>7 pȗ-įm]870٨A) ^r0Tw =Kh8+ L@6bzo."A` Y βpx<ƪسЬr8e`-Tߗ_MYqʖf @Rz&0[G p}$/KU18*T:Al|l[ F]CA ,Y6nst˻?jcL S\KҼ3? ׽ﶇQl+cZ:jjÓ17Rv% DKM!]9B5m <f!0f9nկne6@͑:i,֙4-^RgdW }̚ mV!!^sH/cl1K:7GJ=OT?Q!SI'`:s}g_M6l|i7M}g[rAwtc7}#<~Nz(8cꁘGL;OrP>r)ZrM(0N-O3qEO\\Vt>Uv9 j)ZB_VxK}@h?Kn_aү ]7$#Avjl%] k8'_;Hw&Ǿ~(W 'f;K=T9%f\W).U 7ϋDTzm)+n$?3Ժam_>erե*\=URG<]^vFOj7ks'R8BiKPǖ*~2(|hJà@lBWbzCgYZ5c3b5a414e45b6a66eecdc13d515ed38024b785b0779f416e0333e930b31960d36caa48e35918b68 b6896307526a9838816e0ef6f162a79ce98e509f f046ef9a589d206031d12698d33d4ab88465db77 852d296003c04e671a83d70a8dd68d2c8ee31ee3  Lp