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 o/r$ ]S Old_Datatype_Show:threads=4elapsed=9.970cpu=11.892gc=0.3087zXZִF! X:]ŗXiɟH)0%oEk;[i=id}q -ۙX=jYRfGw7X9wzcmln֌6"{оÜ/%+$?ߘ6䆲$ U6aj(ohKrI[e;G`F#osΈx8k=:6y%#r!F~e2ƹGfK|(2X f|'uh!5Ew lNmipy pt ;hp݋.8@>)@n'铡b5s.{엕g@źR|3\4C"5+r>1܋|9]\{O Y~h!KT[TGSDl<zQy҉3OD-<0x:EcnHGf)r;g#6V$>}6^|3seXۢZ l|t*i7( -VXAOޅ?o?%73oPB;tiR J,͊eg>K/#%Ε雷գKb0*p@o#XhW1{yW{G_(.F_hYfdeX NtvH=OzMgH 5S?مA)_vQI97O%F:Ӝ!nUk#3 U{H oE!]dޯWワ&2>  xFIJ`2u;-d8UJ 'V0<MhKa`k~Ø[;6+}PI>YӶ:e'jK TLA|&d}c@;V4V'[TY[Yd0ixܕ,gtvx$0su$$BW|3&SqCe0A.nΕPIBRuV)'/Wȏp~&qslMK^mW?DFS1ӣ?c5AueP]RX,WWNL_2 \7Q$L91;W&B.. =Mj2w6fې-WҢ_^dCU^F *ʴ $cPkFΙr' ϒf@~h 8o^" c} >T=C ևF 1; o>#7wsn uTױġKO|kGb"Il~ڱ@gYZ7zXZִF! X]ŗXiɟA-9ln=ic``CTslLx'u}nooc)J]Rifw0ξbR'>xHGxǞ%8McG瘎HV0"I"5vSRʋQLSgYZ7zXZִF! /]H]ŗXi%L&df[H/È ڇāWu>1%* ko.snUi{?ʘ0<1RRR!CYQ]vp%3ziiZ ~ߝ9@k3.8?\ >X#8ގ$#bHƪb?.;YL\%vC:)yQ|.jjM} hɭ. YcGEPrXZ(*ih^Y(Y> (:8f}6NH&&'Lj8Vb]8%2AH ǹV׊Ekʉ5^ă?R|J`F9`J@G֦ܯ|J b;:!BF3CO'|f% I_a~4VI+0kRaX9&e9moPhh.q*!N|bg8ܲ{tLvBPJ\XFk+vJ\ʜ3>z_㦌 YVpuXu}$sTLK ע,*3yVȠn Cwkѹ]6دx Ir YY)ucHxuE7 e\,~ѡuВ>:t!@'4O?3wǂ*i{0IXzUQb-6喭+"ٚ3c2~HFAYn^ YޱgYZ563f7b59c5f9899ccba6a88e404f76a6c3e5ace69aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b d3fb8dabee30ba4238dbfbc243827a8f10d26725 / Old_Datatype_Show