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 d<4 ]/]HOLCF:threads=6elapsed=11.522cpu=37.020gc=1.884factor=3.217zXZִF! A]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0Urj?%~G7nE~v)۱?Z]KDZ bc-_-" l syX%cxdo9ÏV.#_3U(p@6tWŜ5/"` :;n%37 TxO֮8(@]FӮ)~;班S=xOܖeu3)deqgןaty="΃F|f 2߫c#Mmģ$eާfγ};8v.3aBdRe-uWhlcnqR='_".W-«UT $c.נܳucW#/G3B 6\kSsM]ˈ5>{sݮ!5h+&-$ڏ/H7Ue+& Uf`C/"A(S"U9&Ӈɇ9S2]X|;kQkX@oʡ_5SDi΍_|kóIDP)լ*G"\ IF>X@Dô",HǻUkApl5SxWMɠKg8"欢R?[XY s#Wr E౵R[fd"XYz*@I%LS܊'2};}3DdgCB|]!ٳ4 ,EOAs1Gjy\m:ѿA6UΞa* ~ޮ5|+ [ƍ|3  %NI\JMQS'-J@?Yvg_y |MXu( (y#]G@::@X2 @4麞 =QGr^+4" _N=q|%*F1&g9U'H ?DܸNުL{~*s &.soE+ZUf] %-:v\~Z7r!ҪṞgYZ7zXZִF! @O]ŗXi%BD9BrpMީYȽΞ-=_H)dYF2`eu0]dlI<*SCE89yFͧ$iUyI"n,_WP@_AGV]0.F+ëBd2:~"/A|5]|LT{s.n-l!~8ee5^9vqԼ p^7hsʫj\wNY\;RW ڭB6ŀ1f Ņx2I3WezL#EVf+ζd狛LI=>u "Ƭy _pݞe̗#`#II.fl!U{CHow#IYq!"B>&70TEpMF>FL>`9IW*!o3;kur kc)TM:ckC'|4,#h]NyKsގ5|Tsן"Q+jzZ- [tr{1\w'~YPهΐ) pb۴>JcNMb$2MLVڱ7ur8n=_Up5&uo=:13IAn'%p[efn6[76oC ۷N'ޜک)))j7R-,ɸ)*RQ9EC Ѐt}ϱgYZ8fbf880214855c25e51726ac9df367b3f52b6b39cc046ae580776820f4a04105f911f868e699728a 55e7e56f5ba0698df4bb0247f9715a7a435fa5d910fd5791b6fff1b0d056207079d2428ca8e043fd  HOLCF