SQLite format 3 @ . B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info b-,< ]S MonoidalCategory:threads=2elapsed=1003.445cpu=1759.724gc=94.852factor=1.757zXZ ִF ! @] ŗXf1-/6vR[;hdgdfY30Lߩi툛7[[__i0^8C." +doU{bP~2rUP)뽰D2MD8e;;Mxdqբbr7~&Uc6-;#4uǘ@wxsɁ?s O!rI~I6F: -:=11mpYׁ+ξ 껦C3Z 1) יvcmGqJ /J`"@V̔цQl(g ,K57a`
_
- MonoidalCategory қca?t?jPky w*ZG9?q%[0!JRL%OY9~OcyXA$-|
b\vTz0{D rˢ/:
TJj7p" -C}D_Z:ÕD8!:f[~IΗȻg|=iwa!cxo2=@PM氫Φ"
])@/ 36a3ke((+':08Lꪤrԋ+v"4WlPe/ׄx9ۄMA|^ю
rV]ҋp<פ1^T2*@:w 烎hIעbR5>R9
_M`-),=|YRR+2nZa
ckBՍkH7RF|v/5۟)|
VL 5H&QHMG\e\Ag?[,*ڳV ]k'@udGTM}nFloBʆE +˓J
d:AZSdS3%-LEZ{di!r2';Yc[%
XP5B+(݃(P.8(=:h}@N.j'
NDnkk=أPeVPX~2/G;l5w'ELic5^J
`fI+@nSuv
ĩ^hBZVtbjL6)B8E>ܸs&JlrWiG|Z
Q]T77g<˟.R'"xn TJ0X06Bn+n1E'R|`")l ͂h/2+@'@]E۲︵#j1Ia~e/\dS;l}!gyzD!L8gTC