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 b7 , | ]% HOL-Quotient_Examples:threads=6elapsed=27.168cpu=40.900gc=2.416factor=1.517zXZִF! O]ŗXf1-q恈N/|p~p%+)<}$PV>n(6tީ~ γ3ipfR2J,]bs9MqT>L ;);ª8"tGyMdK"sNM: uKF방$Lj)ln<6lTM1LA\)\oy8Qt;Sf t\(cRC9FjQ:dgz4^s -Zڴ"UȧgQ(΢ڨ,)VGaSnVA拏\nm;u} td/ V%cv?!\͞ic-Zײei33~g@ks̈́x`WcV&IAJ.qCإb,0+h6G.i+[v0a0`؛6|+9Xw5Jq؉||2|9H d.;mT"72-wwMnpCڱCXjgNJ/2\).df5=KJIF5@7E="?%COU}@ r•j.d?T_x%xmt;:wT2jA`137!!ZKf?~' WN4M>')~@—<"D ()w%\uK#) EPA Db֬.1:wMA# R~0>a-yû?^zʍCl T*v I^͊FS^&pF1R(5~piݧ6L*QrKV14whK fMޏIcֻ-VBصmZb?䛮t|\3`ٓn>rޯAѵh%(Q?OIДڈ!6`uy ~~!Ĺ8̣Q@ OzfwTsxo.p`#UWrŴxO?SaZĭH7Ɇf}]j; \˼cx1Y&"UZ&VRp>&Yߍ: 0E>[b}ژ ou2r2ߙC=:"UJX8]E3{LTփ^a=74vG]V6By[Yz-jqh 2XUVEclBmDh0K|CckV\[}|Ŀ( ׹ Hvk*3qxiut\bP!sbM-%Dwus8aD2PDֆ2hJTCVBz)b"oEGwWp#{@8aTYV1QjM49lG/}i4