SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info Z5 LT  Lower_Semicontinuous:threads=2elapsed=7.355cpu=14.148gc=0.252factor=1.927zXZִF! b]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&W?S^n[?& 0deڶ}R;g{M[a<rU|~F"L*uz`*%3#bC023K6"`]D%Gqat$1%Y=P}2/DW×){RsoCKkd\gas4@ǂ6>tňVPjiru;sҒźSc߽t8EJx;r.e9LF$*7qؠKߡ`.x܏ҳB_}K)*zy8v_ 5 Lower_Semicontinuous_w.HiS>FܞܨFeF3fۇ.aPo5/tqhupF-]6tAԇн;P݋A.lr(=ir V?ԅ f82MWmy  zaiexLG>"z.].cP꤀mYXKobAtwjj|S8׏++)]I[l+$}PuUqכQV>nùLS}jZՂ[%I'cWH g^%/MVil1 sEmk3$N oI,jI Ms诤3a܉O۫9h3l F0E1(wB” j;ZFo ;Sq'-S2hЀ7Z+ʙk]1TCX$˃>ojP#xr8Gu\L@븛s΄~ʕ/sO3ui@j!U U܀ ~ſO2x'!C3=whL֯#N 5?XPZ$E'\h>Y8Q'mlEHz`; DĨV 0id9ܷhv~="uPeIbJ> βgYZ7zXZִF! .a]ŗXi%m^}H\ܜȎѦa|KmC2Z ?$JsMh\Wşws=zLsY6q8h3 Q\Vㅘφ 4DP'XOWl*G;aS3v Y=1췐J)Qץ] Z(ENnP3ɡ)w6X:'mW^zk+?].WU37~ ~ OϮ=_)<w4^eP&)rEV,4O>|Dv̓0ة@ g߰|A)kkF7)=^YXOWțk㲝HFKU]*Vڑ-UZR \R١oS `| ݶeVbނ>uCRMqp/W1ua nV[iȦTis*NTn]}h| N:UWmOc ak+v?ӽ?~]8O)#f;&ST.F4ˡZꥊB6SM,LZjFm*GlmΑ`D0' !i/0a 6$!V>%ㅛ3کKΊDux?2'v.\Z vd QOnt&]pBgYZ48fdb4548fa2be9c6ad835a63debb9180cfa233d 86b65e55f934fbae00684093cf22aec3241178a0 a225c696c3e9d48f7c4f8098500d46711fb37700b9c0e8f4a3ec48522e3484ee292a510c958aa05f 7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d 689e42f6a537aa228ba8dcbc2d5fefa5d25464e9