SQLite format 3@ . BBh77otableisabelle_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 ` dDD ] Bernoulli:threads=2elapsed=14.388cpu=20.128gc=0.488factor=1.407zXZִF! i]ŗXf1-q恈͐7ӺV 4GJ34nwbrpGܟ*\}]d:N& \[:OZ<ҵהtgkw;K"%U-\@^~Y"5H̻z4'{zя7R:~r!OVۈPۿ,Yފ~\ʝvIȲaW[]IG4tՌ\wsq%]v;qӒؐ^ >y̽(HO"&Ɣt`y[4GM=` ̷;eL/%9SzkV,@bcga{ÑB)gYZ7zXZִF! y]ŗXiɟ ؁#dN9ԝLfa<l}ĒR5܄PMrgnӘbKjFs6TǗ'^uX=9{tð\@RgEDTEA6Wec,f!fjzM`~@R gYZ7zXZִF! V]ŗXi%W~Шl? ^?n +Գ2)y-GwI;@QY1@ GߦlG,ґ-5Fw{a@O AMr~89hK8!!bjY&ḤskJl|_PzZ#KD4"w@|!ڜ&:gdhHoHud)8%j,$4ľhZc]UwQ4Jl^(zᵎmB~ĻFֹ7SR#Rrl2}Lf@lRxK"}p bY"\A_jp'4{0xa6=A-%X'8AtF<̇lRFUsZ\5*YuChqCǿUk<7>/B Y%9dzDہ3v6`c<<#[_W!J}t|׷كV˜)Ny|:CݯPgr5Є;_ẃ  >9̢r0 UL]sHJ #3".'wJ1RUu2zҽ^xU^ȵKE$rî0o.Q }!<Þ wL[ w] -H# wNyLx /`2Ik_Ĩ>A PzI%8v~ śo̴W^y4JV`\E>j۩9mba8| 4`gYZea5ab89bafd865f9a958632477c27afd0d17448dd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 8cc0070a0161e4d7d5fb0c0f4a0310bd415747f2   Bernoulli