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  L L13 d4d ] MonoBoolTranAlgebra:threads=2elapsed=8.208cpu=12.896gc=0.488factor=1.577zXZִF! ]ŗXf1-/6vR[;hcjlq[}'Qbxǐ&87a1lBfNV<$q#g,||fĦC%A9}aXoZn͑8ZE"K[#qc]CfpK tU.9Qr٢#x3U"osJpjĚU`n IYPi'|m+  `gYZ7zXZִF! b]ŗXiɟ.Q^ rcG4dA|xae6ً^Y"98Έ&Zs@]~?ඛ{샹4mx~SOauڷA6DhgUh7W312T}swKmgYZ7zXZִF! 3ok]ŗXi%6SwW|x?ص={؇$uQhK4T{Hs;+O gtI{qkjM50z1cqU|wcbŰΝˊqc!Gtj7Lg T+aL`@J>aș'`u‘^ /?Y&WI5/UCi#2|$w6#Vd4Eh`tucA{<@ZEDh>-5`0:diѺ{ڒT{Pd%݂.?N'oa,9o+KkăR(1лvtAhΐ8jAx]2/_ͭ&t) pGeAMϘ 7BpS^[vc:7%&G~h<ڞN YƘe,ڲ%ʔmv|4^ 8A v6 uZlecA j5*ҭňq%D22,2pOs/lL8"G}ר@GPVX%7w:EMAL,G>2UtOhk,g`& }Jofq"F8#$HFӁxeHai4Ax,-Ak+ZB9ƙkz)ݨR3e` 3)!30ӶBXu '3ثTB+c6Y)V<0S\Ofcԃ0$ݲ1>XbgzmQ)pz^C2b3"<1Eq]IfgYZ384b60c229ba1dbd82fe5cc6c86664be85f30380e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc 34d63d7cc6df64f3a0bced16340d8b6dec2331ef 3 MonoBoolTranAlgebra