SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 V) t$ ]/ FunWithTilings:threads=2elapsed=40.510cpu=43.840gc=0.264factor=1.087zXZִF! 0]ŗXf1-/6vRZ#q$-RR s(|CdGpF.eAqb3@t-jjӡcp\wg/}Cd[g#-՝ :y IdXXc{"`zKE@xzW,Q^!ehA^PrS`CskIA̡6աNwg<3XmA8{1z7J/hYP&l=UE-: eA'gYZ7zXZִF!  ]ŗXi%60n{)FeN^i!wF!/%դl#MRXQEDKߺf$h稪KBF|Ȑrͦ" @:>Ipt=edѱhMʐnӮ)`еos{e6ъPgPeX/}^s3xإm?5e R f_>k@28/lDy-N[d3eLyBV$H٥|6.:ݴ*ؼʹ9To 7R_ /*YB*`ΒSF޵Tnvu9J7v2+p~X[|z,F'N\^^D-7%NhY~be$0 {5R~7^!$:(wBt3Wp?_?Xj yw#T*&5{"bUQn:©Wcl-o6OJisB 3 ̶3, |.^ T" o΅lk N+"&&t õwku:~ʦ4#ށy%]ūr"x%hdvGmE/gR8krԛoFj3TGi]a̧he< *h*\(HAEx)I.Հ%f&)z1g4&>z0V=*FnjZ^hr#hاe2t+ uW@(T #O d銓{#rwoeW8<bMgŐm=~5Lv1`djccaGr`e1ir ./JxnNn3AS$߲I#7V Hɟ/gX$:FrdQ~^ԅ '+ć.v n>UlOg厲ؼꊭ}j|/se{ݺFĶ|N^zء[MRҔlb&9&48{2̅  !\L +{nr:|feX?QWqGtCaؔ8[r- >ol1F)ZS&~D&le]y!.U26? WJσ)V$z)H#HR#/ ц=M4JQQeDTYLo[A.|HAҌP.9̓+J+ْBdDo8>TB)Q %¤S)o H:zJr5TDBN/p8IPqt5\86R=[Leq>V [-4)FCI}vK $>Bѥ|`-q]1`Y{Ug&yȏ} gYZ68c3b3e9ddb1ac8370bdfbc115aaed385b758ff4e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 ) FunWithTilings